Articles liés à Symbolic Logic and Mechanical Theorem Proving
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.
Acheter neuf
Afficher cet article
EUR 23,86
EUR 17,37 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Symbolic Logic and Mechanical Theorem Proving
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier Science & Technology, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 39447872-6
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier Science & Technology, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 19013913-6
Quantité disponible : 1 disponible(s)
Image d'archives
Symbolic Logic and Mechanical Theorem Proving (Computer Science & 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 : Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. 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 5845651
Quantité disponible : 1 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
Quantité disponible : 1 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 5821311
Quantité disponible : 1 disponible(s)
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
Vendeur : Barney's books, Beer, DEVON, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. 1st Edition. New book Still in cellophane wraps. N° de réf. du vendeur ABE-1583863708524
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
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Symbolic Logic and Mechanical Theorem Proving
Edité par
Academic Press, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Computer Science And Applied Mathematics; Book is in good overall condition. No writing or major blemishes. Average wear. Brief dedication on first page. Light smudging on dust cover. Foxing to fore-edge of pages.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. N° de réf. du vendeur TOB159-13584-A-1.44
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
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
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
Quantité disponible : 5 disponible(s)