The Procedures of The CADE-13 ATP System Competition

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