Uniform Strategies: The CADE-11 Theorem Proving Contest

Authors
E.L.Lusk
Citation
E.l.lusk, Uniform Strategies: The CADE-11 Theorem Proving Contest, Journal of automated reasoning , 11(3), 1993, pp. 317-332
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
3
Year of publication
1993
Pages
317 - 332
Database
ACNP
SICI code