Isbn: 9780121703509 - symbolic logic and mechanical theorem proving (computer science classics) (8 Ergebnisse)

Zustand: 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.

Zustand: 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.

Zustand: 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.…

Zustand: 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.…

Zustand: 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. …

Zustand: 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. …

Zustand: New. In English.

Zustand: New. 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 .