Articles liés à Symbolic Logic and Mechanical Theorem Proving
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurAcademic Press
- Date d'édition2014
- ISBN 10 1493300245
- ISBN 13 9781493300242
- ReliureBroché
- Nombre de pages348
- Evaluation vendeur
Acheter neuf
En savoir plus sur cette édition
EUR 67,49
Frais de port :
EUR 11,71
De Royaume-Uni vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1996)
ISBN 10 : 1493300245
ISBN 13 : 9781493300242
Neuf
Paperback
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock. N° de réf. du vendeur __1493300245
Acheter neuf
EUR 67,49
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1996)
ISBN 10 : 1493300245
ISBN 13 : 9781493300242
Neuf
Paperback
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock. N° de réf. du vendeur zk1493300245
Acheter neuf
EUR 89,73
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1973)
ISBN 10 : 1493300245
ISBN 13 : 9781493300242
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Buy with confidence! Book is in new, never-used condition. N° de réf. du vendeur bk1493300245xvz189zvxnew
Acheter neuf
EUR 104,44
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1973)
ISBN 10 : 1493300245
ISBN 13 : 9781493300242
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. New! This book is in the same immaculate condition as when it was published. N° de réf. du vendeur 353-1493300245-new
Acheter neuf
EUR 104,44
Autre devise