Revision as of 19:36, 14 September 2010 edit CRGreathouse (talk \| contribs) Autopatrolled, Administrators 13,002 edits m link ← Previous edit		Revision as of 09:59, 29 September 2010 edit undo Stephan Schulz (talk \| contribs) Administrators 26,918 edits m Stray [ Next edit →
Line 1: The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully [[Automated theorem proving\|automated[ theorem provers]] for classical [[first order logic]]. CASC is associated with the [[Conference on Automated Deduction]] and the [[International Joint Conference on Automated Reasoning]] organized by the [[Association for Automated Reasoning]]. The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at [[Rutgers University]], New Brunswick, NJ, in 1996.

CADE ATP System Competition: Difference between revisions