Paths to high-performance automated theorem proving
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Logic machine architecture: Inference mechanismsPublished by Springer Nature ,2005
- Logic machine architecture: Kernel functionsPublished by Springer Nature ,2005
- An automated reasoning systemPublished by Association for Computing Machinery (ACM) ,1981
- Problems and Experiments for and with Automated Theorem-Proving ProgramsIEEE Transactions on Computers, 1976
- An implementation of hyper-resolutionComputers & Mathematics with Applications, 1975