Experiments with Roo, a parallel automated deduction system
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 139-162
- https://doi.org/10.1007/3-540-55425-4_6
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Robbins algebra: Conditions that make a near-boolean algebra booleanJournal of Automated Reasoning, 1990
- A curious new result in switching theoryThe Mathematical Intelligencer, 1990
- Challenge problems in elementary calculusJournal of Automated Reasoning, 1990
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- Using automated reasoning tools: A study of the semigroupF 2 B 2Semigroup Forum, 1987
- An automated reasoning systemPublished by Association for Computing Machinery (ACM) ,1981
- Semi-Automated MathematicsJournal of the ACM, 1969
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965