Resolution graphs
- 31 December 1970
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 1 (3-4), 257-289
- https://doi.org/10.1016/0004-3702(70)90011-1
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969
- Semi-Automated MathematicsJournal of the ACM, 1969
- Resolution With MergingJournal of the ACM, 1968
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967
- A review of automatic theorem-provingProceedings of Symposia in Applied Mathematics, 1967
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965