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.

Codice articolo 000441

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Editore: Academic Press, New York San Francisco London
Data di pubblicazione: 1973
Lingua: Inglese
ISBN 10: 0121703509
ISBN 13: 9780121703509
Rilegatura: Hardcover
Edizione: 1st Edition
Condizione: Near Fine
Condizione della sovraccoperta: Good

Descrizione articolo

Riassunto

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.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Retired academic's reference library with specialization in philosophy, religion, science, and mathematics--all scholarly subject areas; Pre-Socratics to contemporary; biographies; some series collections. General stock also, including fiction, poetry, literary criticism, mysteries, some foreign language, children's, history, sociology, psychology, education. Some signed copies.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Theoria Books
MA, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We abide by the current policies set by Abebooks. Please submit all orders through Abebooks.com

Condizioni di spedizione

All domestic orders will be sent by USPS Media Mail, unless some other mode of shipping is requested or required and accepted in advance of shipping. International orders will be sent by USPS International Flat-Rate Priority envelope or box, unless the current weight and size restrictions cannot be met or insurance is requested or required (e.g., the book is worth $40.00 or more). All books sent by USPS Flat-Rate unpadded envelope (or padded envelope, moreover) will be wrapped in paper and packed between cardboard sheets larger than the book or with cardboard affixed at the corners, in order to prevent damage to the book during shipment. Books sent in boxes will also be wrapped in paper and suitably packed to avoid movement in box. The goal here is to ship essentially at cost, rather than to reap additional profit beyond the cost of shipping, thus keeping the customer's cost for shipping as low as possible.