Sciweavers

8 search results - page 1 / 2
» cade 1990
Sort
View
CADE
1990
Springer
13 years 8 months ago
A Prolog Technology Theorem Prover
Mark E. Stickel
CADE
1990
Springer
13 years 8 months ago
PARTHEO: A High-Performance Parallel Theorem Prover
Johann Schumann, Reinhold Letz
CADE
1990
Springer
13 years 8 months ago
The TPS Theorem Proving System
Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...
CADE
1990
Springer
13 years 8 months ago
Presenting Intuitive Deductions via Symmetric Simplification
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
Frank Pfenning, Dan Nesmith