Otter.The CADE-13 Competition Incarnations

Authors
W.McCune,L.Wos
Citation
W.mccune,l.wos, Otter.The CADE-13 Competition Incarnations, Journal of automated reasoning , 18(2), 1997, pp. 211-220
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
2
Year of publication
1997
Pages
211 - 220
Database
ACNP
SICI code