A case study in automated theorem proving: Finding sages in combinatory logic
- 1 March 1987
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 3 (1) , 91-107
- https://doi.org/10.1007/bf00381147
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A foray into combinatory logicJournal of Automated Reasoning, 1986
- A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domainsArtificial Intelligence, 1984