Login
|
New Account
ITA
ENG
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