Sciweavers

CADE   1990 Automated Deduction
Wall of Fame | Most Viewed CADE-1990 Paper
CADE
1990
Springer
14 years 4 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source113
2Download preprint from source111
3Download preprint from source107
4Download preprint from source101
5Download preprint from source95
6Download preprint from source74
7Download preprint from source57