Synopsis
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 « 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.
Autres éditions populaires du même titre
Résultats de recherche pour Symbolic Logic and Mechanical Theorem Proving
Image fournie par le vendeur
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N° de réf. du vendeur OTV.0121703509.G
Acheter D'occasion
EUR 18,86
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : One Planet Books, Columbia, MO, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 000169445U
Acheter D'occasion
EUR 16,16
Expédition à EUR 3,45
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_451336288
Acheter D'occasion
EUR 16,42
Expédition à EUR 3,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_397933850
Acheter D'occasion
EUR 16,42
Expédition à EUR 3,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
ACADEMIC PRESS, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Reader's Corner, Inc., Raleigh, NC, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine. N° de réf. du vendeur 101849
Acheter D'occasion
EUR 17,36
Expédition à EUR 4,75
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press, New York and London, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Row By Row Bookshop, Sugar Grove, NC, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Etat de la jaquette : No Dust Jacket. First Edition. An ex-library copy in black hard covers lettered in gold, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book. N° de réf. du vendeur 056390
Acheter D'occasion
EUR 17,80
Expédition à EUR 4,32
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-E-020-02634
Acheter D'occasion
EUR 32,56
Expédition à EUR 12,33
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 000169445U
Acheter D'occasion
EUR 41,68
Expédition à EUR 3,45
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 635013-5
Acheter D'occasion
EUR 43,73
Expédition à EUR 2,28
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509. N° de réf. du vendeur 5821312
Acheter D'occasion
EUR 30,95
Expédition à EUR 15,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)