The CADE ATP system competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalConference article

3 Scopus citations
Original languageEnglish (US)
Pages (from-to)490-491
Number of pages2
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume3097
DOIs
StatePublished - 2004
EventSecond International Joint Conference, IJCAR 2004 - Cork, Ireland
Duration: Jul 4 2004Jul 8 2004

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'The CADE ATP system competition'. Together they form a unique fingerprint.

  • Cite this