Items related to Logic for Computer Science: Foundations of Automatic...
Synopsis
"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.
"synopsis" may belong to another edition of this title.
- PublisherJohn Wiley & Sons
- Publication date1988
- ISBN 10 0471615463
- ISBN 13 9780471615460
- BindingPaperback
- LanguageEnglish
- Number of pages528
Other Popular Editions of the Same Title
Search results for Logic for Computer Science: Foundations of Automatic...
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0471615463. Seller Inventory # 9298615
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by
John Wiley and Sons (WIE), 1988
ISBN 10: 0471615463
ISBN 13: 9780471615460
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1987. Außen: angestoßen, Knick, Klebereste / Klebespuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 526 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41865005/202
Quantity: 1 available
Stock Image
Logic for Computer Science
Published by
John Wiley and Sons Ltd, 1988
ISBN 10: 0471615463
ISBN 13: 9780471615460
Used
Paperback
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0471615463-4
Quantity: 1 available