A computational logic handbook /

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Boyer, Robert S.
Autres auteurs: Moore, J Strother, 1947-
Format: Électronique eBook
Langue:Inglés
Publié: Boston : Academic Press, �1988.
Collection:Perspectives in computing (Boston, Mass.) ; vol. 23.
Sujets:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Th�eor�emes > D�emonstration automatique.
Logique symbolique et math�ematique.
Logica.
Automatische bewijsvoering.
Accès en ligne:Texto completo
Table des matières:
  • Part I: The Logic. 1 - Introduction
  • 2 - A Primer for the Logic
  • 3 - Formalization Within the Logic
  • 4 - A Precise Description of the Logic
  • 5 - Proving Theorems in the Logic Part II: Using the System. 6 - Mechanized Proofs in the Logic
  • 7 - An Introduction to the System
  • 8 - A Sample Session with the Theorem Prover
  • 9 - How to Use the Theorem Prover
  • 10 - How the Theorem Prover Works
  • 11 - The Four Classes of Rules Generated from Lemmas
  • 12 - Reference Guide
  • 13 - Hints on Using the Theorem Prover
  • 14 - Installation Guide
  • Appendix I - A Parser for the Syntax
  • Appendix II - The Primitive Shell Axioms
  • Appendix III - On the Difficulty of Proofs
  • References
  • Index
  • Perspectives in Computing.

Documents similaires