A Simplified Format for the Model Elimination Theorem-Proving Procedure
- 1 July 1969
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 16 (3) , 349-363
- https://doi.org/10.1145/321526.321527
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965