Diagrammatic representation and inference. 6th international conference, Diagrams 2010, Portland, OR, USA, August 9--11, 2010. Proceedings

DOI10.1007/978-3-642-14600-8zbMath1193.68009DBLPconf/diagrams/2010OpenAlexW4252618606WikidataQ62046882 ScholiaQ62046882MaRDI QIDQ983094

No author found.

Publication date: 28 July 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-14600-8

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. 6th international conference, Diagrams 2010, Portland, OR, USA, August 9--11, 2010. Proceedings