CADE ATP System Competition: Difference between revisions

Revision as of 09:43, 9 January 2012

Revision as of 14:59, 10 April 2012

Line 6:

{{Reflist}}

* {{cite journal|last=Sutcliffe|first=Geoff|title=The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5|journal=AI Communications|year=2011|volume=24|issue=1|pages=75-8975–89}}

* {{cite web|url=http://www.cs.miami.edu/~tptp/CASC/|title=The CADE ATP System Competition|author=[[Geoff Sutcliffe]]|accessdate=2008-10-23}}

* {{cite journal|journal=AI Communications|title=The State of CASC|year=2006|volume=19|issue=1|pages=35–48|author=Geoff Sutcliffe and Christian Suttner}}