The CADE-19 ATP system competition

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	295-296
Number of pages	2
Journal	Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume	2741
DOIs	https://doi.org/10.1007/978-3-540-45085-6_25
State	Published - 2003
Event	19th International Conference on Automated Deduction - Miami Beach, FL, United States Duration: Jul 28 2003 → Aug 2 2003

ASJC Scopus subject areas

@article{9b871ed0b0704376833ffa703ddaa3a7,

title = "The CADE-19 ATP system competition",

author = "Geoff Sutcliffe and Christian Suttner",

year = "2003",

doi = "10.1007/978-3-540-45085-6_25",

language = "English (US)",

volume = "2741",

pages = "295--296",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - The CADE-19 ATP system competition

AU - Sutcliffe, Geoff

AU - Suttner, Christian

PY - 2003

Y1 - 2003

UR - http://www.scopus.com/inward/record.url?scp=7044236800&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=7044236800&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-45085-6_25

DO - 10.1007/978-3-540-45085-6_25

M3 - Conference article

AN - SCOPUS:7044236800

VL - 2741

SP - 295

EP - 296

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - 19th International Conference on Automated Deduction

Y2 - 28 July 2003 through 2 August 2003

ER -