The CADE-15 ATP System Competition

Authors
G.Sutcliffe,C.B.Suttner
Citation
G.sutcliffe,c.b.suttner, The CADE-15 ATP System Competition, Journal of automated reasoning , 23(1), 1999, pp. 1-23
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
1
Year of publication
1999
Pages
1 - 23
Database
ACNP
SICI code