The CADE-16 ATP System Competition

Authors
G.Sutcliffe
Citation
G.sutcliffe, The CADE-16 ATP System Competition, Journal of automated reasoning , 24(3), 2000, pp. 371-396
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
3
Year of publication
2000
Pages
371 - 396
Database
ACNP
SICI code