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.
Résultats de recherche pour Symbolic Logic and Mechanical Theorem Proving
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 : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Good condition. Good dust jacket. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. N° de réf. du vendeur X09D-01005
Acheter D'occasion
EUR 9,75
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
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 7,82
Expédition à EUR 3,31
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_468491944
Acheter D'occasion
EUR 7,82
Expédition à EUR 3,31
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
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 copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 39447872-6
Acheter D'occasion
EUR 11,68
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 : 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,72
Expédition à EUR 4,85
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 15,64
Expédition à EUR 12,41
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Symbolic Logic and Mechanical Theorem Proving
Edité par
Elsevier, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture souple
Vendeur : Hamelyn, Madrid, M, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. : Este libro presenta una introducción a la lógica simbólica y un análisis exhaustivo de la demostración mecánica de teoremas y sus aplicaciones. El libro consta de tres partes principales: los capítulos 2 y 3 constituyen una introducción a la lógica simbólica; los capítulos 4 a 9 presentan varias técnicas de demostración mecánica de teoremas; y los capítulos 10 y 11 muestran cómo la demostración de teoremas puede aplicarse a diversas áreas, como la respuesta a preguntas, la resolución de problemas, el análisis de programas y la síntesis de programas. EAN: 9780121703509 Tipo: Libros Categoría: Tecnología|Ciencias Título: Symbolic Logic and Mechanical Theorem Proving Autor: Chin-Liang Chang| Richard Char-Tung Lee Editorial: Elsevier Idioma: en Páginas: 331 Formato: tapa dura. N° de réf. du vendeur Happ-2026-07-02-9707c43c
Acheter D'occasion
EUR 25,17
Expédition à EUR 11,99
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
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
Acheter D'occasion
EUR 31,16
Expédition à EUR 15,21
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 (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
Acheter D'occasion
EUR 31,16
Expédition à EUR 15,21
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 (Computer Science and Applied Mathematics)
Edité par
Academic Press, New York San Francisco London, 1973
ISBN 10 : 0121703509
ISBN 13 : 9780121703509
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Theoria Books, Andover, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Near Fine. Etat de la jaquette : Good. 1st Edition. 331pp.,xiii. No edition cited; no number line: First Printing. Appendix A, "A Computer Program Using Unit Binary Resolution", pp. 287-305; Appendix B, "Proof of Lemma 8.2", pp. 306-308; Bibliography, in Parts I, II, III, pp. 309-324; Index, pp. 325-331. Dark blue fine linen with brilliant gilt-stamped lettering on spine and front cover; lower cover corners slightly bumped, upper corners sharp; 16 pp. of 331pp. have minor amount of green ink underlining ( pp. 2-8, 10, 27-31, 34-35, 72); 5 pages have light pencil lines and annotations, which may be of interest to next book owner, else can easily be erased). Strong binding. Glossy medium blue dustwrapper with silver lettering on upper half front cover, above derivation tree diagram; dw worn, chipped, missing bits at extremities: NOW in mylar which forgives these sins graciously. No previous owner names. N° de réf. du vendeur 000441
Acheter D'occasion
EUR 43,60
Expédition à EUR 4,85
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)