Artículos relacionados a Symbolic Logic and Mechanical Theorem Proving (Computer...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas--program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 42,04
EUR 3,66 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Symbolic Logic and Mechanical Theorem Proving (Computer...
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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 ref. del artículo: S_397933850
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Elsevier Science & Technology, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 39447872-6
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Elsevier Science & Technology, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 19013913-6
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Original o primera edición
Librería: One Planet Books, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: 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 ref. del artículo: 000169445U
Cantidad disponible: 6 disponibles
Imagen del vendedor
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: ShowMe D Books, WALNUT GROVE, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Hand inspected by live bookworms! Cover shows a little wear, but the book is in good condition. May have some writing or highlighting. Ships fast! Same or next business day! Thanks for supporting a small family business! Satisfaction guaranteed! Nº de ref. del artículo: 4RKKJI000YE6
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publicado por
ACADEMIC PRESS, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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 ref. del artículo: 101849
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press, New York and London, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Row By Row Bookshop, Sugar Grove, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. Estado de la sobrecubierta: 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 ref. del artículo: 056390
Cantidad disponible: 1 disponibles
Imagen del vendedor
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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 ref. del artículo: TOB159-13584-A-1.44
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 5845651
Gastos de envío:
EUR 14,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press, 1973
ISBN 10: 0121703509
ISBN 13: 9780121703509
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: 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 ref. del artículo: 000169445U
Cantidad disponible: 6 disponibles