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

City

Edinburgh / /

/

Facility

South Bridge / /

Organization

Ian Green Department / /

Person

Alan Bundy / Ian Green / /

Position

first author / fu'st author / /

ProgrammingLanguage

NIL / /

Technology

artificial intelligence / functional programming / /

URL

www.aaai.org / /

SocialTag