Back to Results
First PageMeta Content
Logic / Geoff Sutcliffe / CADE ATP System Competition / TPTP / Vampire / Automated reasoning / First-order logic / Proof assistant / Logic programming / Automated theorem proving / Mathematical logic / Theoretical computer science


Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3
Add to Reading List

Document Date: 2011-03-22 14:11:30

Open Document

File Size: 180,75 KB

Share Result on Facebook
UPDATE