The CADE-14 ATP System Competition

Authors
C.Suttner,G.Sutcliffe
Citation
C.suttner,g.sutcliffe, The CADE-14 ATP System Competition, Journal of automated reasoning , 21(1), 1998, pp. 99-134
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
1
Year of publication
1998
Pages
99 - 134
Database
ACNP
SICI code