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.
- PublisherLongman Higher Education
- Publication date1986
- ISBN 10 0060422254
- ISBN 13 9780060422257
- BindingHardcover
- 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
Published by
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6. Seller Inventory # G0060422254I3N00
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.6. Seller Inventory # G0060422254I4N00
Quantity: 1 available
Stock Image
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Published by
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP95935838
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: 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! Seller Inventory # S_389988481
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Published by
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
First Edition
Seller: Jay W. Nelson, Bookseller, IOBA, Austin, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. Seller Inventory # 105306
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth. Condition: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards. Seller Inventory # 058562
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Published by
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: The Media Foundation, BEAVERTON, OR, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. Seller Inventory # mon0000026225
Quantity: 1 available
Stock Image
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks7375
Quantity: 1 available