The CADE-13 ATP System Competition

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