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.
EUR 13,28
EUR 17,59 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 23,60
EUR 17,18 gastos de envío desde Reino Unido a España
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
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 & 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
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
Nuevo
Tapa dura
Original o primera edición
Librería: Barney's books, Beer, DEVON, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. 1st Edition. New book Still in cellophane wraps. Nº de ref. del artículo: ABE-1583863708524
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and 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: 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 ref. del artículo: 5821312
Cantidad disponible: 1 disponibles
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and 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: 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 ref. del artículo: 5821311
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 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 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: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 635013-5
Cantidad disponible: 5 disponibles