Back to Results
First PageMeta Content
Automated theorem proving / Reasoning / Proof theory / Mathematical logic / Deduction / Mathematical proof / Diagrammatic reasoning / Reasoning system / Proof / Logic / Science / Mathematics


DIAMOND: Diagrammatic Reasoning System Demonstration
Add to Reading List

Document Date: 2011-12-06 15:48:36

Open Document

File Size: 1,18 MB

Share Result on Facebook
UPDATE