A Machine-Oriented Logic Based on the Resolution Principle
- 1 January 1965
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 12 (1), 23-41
- https://doi.org/10.1145/321250.321253
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Theorem-Proving on the ComputerJournal of the ACM, 1963
- A Semi-Decision Procedure for the Functional CalculusJournal of the ACM, 1963
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960