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.

Bestandsnummer des Verk�ufers 000441

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Verlag: Academic Press, New York San Francisco London
Erscheinungsjahr: 1973
Sprache: Englisch
ISBN-10: 0121703509
ISBN-13: 9780121703509
Einband: Hardcover
Auflage: 1st Edition
Zustand: Near Fine
Zustand des Schutzumschlags: Good

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Theoria Books
MA, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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

Versandbedingungen

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.