Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang, Richard Char-Tung Lee
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Année:
1973
Editeur::
Elsevier Inc
Langue:
english
Pages:
338
ISBN 10:
0080917283
ISBN 13:
9780080917283
Fichier:
PDF, 12.74 MB
IPFS:
CID , CID Blake2b
english, 1973
Lire en ligne
La conversion en est effectuée
La conversion en a échoué

Mots Clefs