Items related to Logic for Computer Science: Foundations of Automatic...
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) - Hardcover
Synopsis
Covers the mathematical logic necessary to computer science, emphasizing algorithmic methods for solving proofs. Treatment is self-contained, with all required mathematics contained in Chapter 2 and the appendix. Provides readable, inductive definitions and offers a unified framework using Getzen systems. Offers unique coverage of congruence, and contains an entire chapter devoted to SLD resolution and logic programming (PROLOG). Includes applications to artificial intelligence. Each chapter contains worked examples, programming assignments, problems graded according to difficulty, and historical remarks and suggestions for further reading.
"synopsis" may belong to another edition of this title.
- PublisherLongman Higher Education
- Publication date1986
- ISBN 10 0060422254
- ISBN 13 9780060422257
- BindingHardcover
- LanguageEnglish
- Number of pages511
- Rating
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