The Design of the CADE-13 ATP System Competition

Authors
G.Sutcliffe,C.Suttner
Citation
G.sutcliffe,c.suttner, The Design of the CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 139-162
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
2
Year of publication
1997
Pages
139 - 162
Database
ACNP
SICI code