Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

AICOM
2006

favoriteEmaildiscussreport

48views more AICOM 2006»

The CADE-20 Automated Theorem Proving Competition

13 years 5 months ago

The CADE-20 Automated Theorem Proving Competition

Download www.cs.miami.edu

Geoff Sutcliffe

Real-time Traffic

AICOM 2006 |

claim paper

Related Content

» Progress in the Development of Automated Theorem Proving for HigherOrder Logic

» The IJCAR2004 Automated Theorem Proving Competition

» The CADE ATP System Competition

» A Structured Set of HigherOrder Problems

» The TPTP Typed FirstOrder Form with Arithmetic

» Solving Quantified Verification Conditions Using Satisfiability Modulo Theories

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	AICOM
Authors	Geoff Sutcliffe

Comments (0)