Partheo: A high-performance parallel theorem prover
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- Principles of the Delphi Parallel Inference MachineThe Computer Journal, 1987
- Automated Theorem ProvingPublished by Springer Nature ,1987
- The occur-check problem in PrologNew Generation Computing, 1984
- Resolution, Refinements, and Search Strategies: A Comparative StudyIEEE Transactions on Computers, 1976
- First-Order LogicPublished by Springer Nature ,1968