Experiments with resolution-based theorem-proving algorithms
- 1 January 1982
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 8 (2) , 141-152
- https://doi.org/10.1016/0898-1221(82)90053-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An Evaluation of an Implementation of Qualified HyperresolutionIEEE Transactions on Computers, 1976
- Problems and Experiments for and with Automated Theorem-Proving ProgramsIEEE Transactions on Computers, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974