Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- 1 October 1965
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 12 (4), 536-541
- https://doi.org/10.1145/321296.321302
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965