A Semi-Decision Procedure for the Functional Calculus
- 1 January 1963
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 10 (1), 1-24
- https://doi.org/10.1145/321150.321151
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A Mechanical Proof Procedure and its Realization in an Electronic ComputerJournal of the ACM, 1960
- Proving theorems by pattern recognition ICommunications of the ACM, 1960
- Special Cases of the Decision ProblemRevue Philosophique de Louvain, 1951