OTTER Experiments in a System of Combinatory Logic

Authors
T.Jech
Citation
T.jech, OTTER Experiments in a System of Combinatory Logic, Journal of automated reasoning , 14(3), 1995, pp. 413-426
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
14
Issue
3
Year of publication
1995
Pages
413 - 426
Database
ACNP
SICI code