Proceedings of the 6th international conference on Diagrammatic representation and inference
Authors:
Ashok K. Goel;Mateja Jamnik;N. Hari Narayanan
Affiliations:
School of Interactive Computing, Georgia Institute of Technology, Design & Intelligence Laboratory, Atlanta, GA;University of Cambridge, Computer Laboratory, Cambridge, UK;Auburn University, Department of Computer Science & Software Engineering, Auburn, AL
Venue:
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference