Symbolic Logic and Mechanical Theorem Proving

Chang, Chin-Liang Lee, Richard Char-Tung

CHF 99.50
Alerter avant parution Précommander Ajouter au panier Ajouter e-book

Livrable entre 2 et 4 semaines environ

Éditeur
Academic Press Inc
Pages
331
Parution
juin 1973
Format
Cartonné
Langue
Anglais
Dimensions
229 × 152 × 23 cm
EAN
9780121703509
  • Résumé

Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page