Revision as of 22:45, 16 December 2009 edit Eldumpo (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 39,424 edits add ref ← Previous edit		Revision as of 17:48, 17 December 2009 edit undo RjwilmsiBot (talk \| contribs) Bots, Pending changes reviewers 1,602,950 edits m →References: fixing page range dashes using Project:AWB Next edit →
Line 7: * {{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~~35–48\|author=Geoff Sutcliffe and Christian Suttner}} * {{cite journal\|journal=AI Communications\|title=The Development of CASC\|year=2002\|volume=15\|issue=2-3\|pages=~~79-90~~79–90\|author=Jeff Pelletier, Geoff Sutcliffe and Christian Suttner}} [[Category:Computer science competitions]]

CADE ATP System Competition: Difference between revisions