- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Deduction - CADE-17
System Description: IVY
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references5
- Record: found
- Abstract: not found
- Report: not found
OTTER 3.0 reference manual and guide
W.W. McCune (1994)
- Record: found
- Abstract: not found
- Article: not found
An industrial strength theorem prover for a logic based on Common Lisp
M Kaufmann, J.S. Moore (1997)
- Record: found
- Abstract: not found
- Book Chapter: not found
Ivy: A Preprocessor and Proof Checker for First-Order Logic
William McCune, Olga Shumsky (2000)