Diagrammatic representation and inference. 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28--30, 2006. Proceedings

DOI10.1007/11783183zbMath1146.68302OpenAlexW4244136792MaRDI QIDQ948482

No author found.

Publication date: 16 October 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11783183

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68T99)

Related Items (1)

Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification

This page was built for publication: Diagrammatic representation and inference. 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28--30, 2006. Proceedings