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
Book by Chang ChinLiang Lee Richard CharTung
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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 Inc
- Date d'édition1973
- ISBN 10 0121703509
- ISBN 13 9780121703509
- ReliureRelié
- Nombre de pages331
- Evaluation vendeur
Acheter neuf
En savoir plus sur cette édition
EUR 24,12
Frais de port :
EUR 17,56
De Royaume-Uni vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Edité par
Academic Press
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Edition originale
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : New. 1st Edition. New book Still in cellophane wraps. N° de réf. du vendeur ABE-1583863708524
Acheter neuf
EUR 24,12
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Edité par
Academic Press 1973-06-15
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : New. N° de réf. du vendeur 6666-ELS-9780121703509
Acheter neuf
EUR 52,76
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Lala Maurizio
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur c397077f769018cb4b6c61eaf4c2611f
Acheter neuf
EUR 59,51
Autre devise
Image fournie par le vendeur
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 635013-n
Acheter neuf
EUR 69,90
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Edité par
Academic Pr
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock. N° de réf. du vendeur __0121703509
Acheter neuf
EUR 62,16
Autre devise
Image d'archives
SYMBOLIC LOGIC AND MECHANICAL TH
Edité par
Academic Press
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. New. In shrink wrap. Looks like an interesting title! 1.51. N° de réf. du vendeur Q-0121703509
Acheter neuf
EUR 73,66
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier Science Publishing Co Inc
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Hardback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9780121703509
Acheter neuf
EUR 68,19
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9780121703509_lsuk
Acheter neuf
EUR 72,62
Autre devise
Image fournie par le vendeur
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 635013-n
Acheter neuf
EUR 72,61
Autre devise
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier Science Publishing Co Inc
(1973)
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780121703509
Acheter neuf
EUR 86,86
Autre devise