First Page | Document Content | |
---|---|---|
Date: 2011-12-06 15:48:36Automated theorem proving Reasoning Proof theory Mathematical logic Deduction Mathematical proof Diagrammatic reasoning Reasoning system Proof Logic Science Mathematics | DIAMOND: Diagrammatic Reasoning System DemonstrationAdd to Reading ListSource URL: www.aaai.orgDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |