Diagrammatic Representation and Inference

DOI10.1007/b95854zbMath1091.68592OpenAlexW4249053557MaRDI QIDQ5714034

Judith Masthoff, Jean Flower, Gem Stapleton

Publication date: 27 December 2005

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

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

Mathematics Subject Classification ID

Related Items (4)

Speedith: a reasoner for spider diagrams ⋮ On the Completeness of Spider Diagrams Augmented with Constants ⋮ Automated theorem proving in Euler diagram systems ⋮ Visual Mathematics: Diagrammatic Formalization and Proof

This page was built for publication: Diagrammatic Representation and Inference