Automated Reasoning and Bledsoe’s Dream for the Field
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Using automated reasoning tools: A study of the semigroupF 2 B 2Semigroup Forum, 1987
- A case study in automated theorem proving: Finding sages in combinatory logicJournal of Automated Reasoning, 1987
- A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domainsArtificial Intelligence, 1984
- Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open QuestionsJournal of the ACM, 1982
- A shortest single axiom for the classical equivalential calculus.Notre Dame Journal of Formal Logic, 1978
- Semi-Automated MathematicsJournal of the ACM, 1969
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 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
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960