Isbn: 9780121703509 - symbolic logic and mechanical theorem proving (21 risultati)

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

Hardcover. Condizione: 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.

Hardcover. Condizione: 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.

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

Hardcover. Condizione: Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine.

Hardcover. Condizione: Good. 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.

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

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

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

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

Hardcover. Condizione: Near Fine. Condizione sovraccoperta: 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. …

Condizione: As New. Unread book in perfect condition.

Condizione: New.

hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

Condizione: New. In English.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

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

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch.…

Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.