The CADE-19 ATP system competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish (US)
Pages (from-to)295-296
Number of pages2
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2741
DOIs
StatePublished - 2003
Event19th International Conference on Automated Deduction - Miami Beach, FL, United States
Duration: Jul 28 2003Aug 2 2003

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this