The Computational Logic Handbook (Perspectives in Computing) - Hardcover
Book 3 of 7: Notes and reports in computer science and applied mathematics
Synopsis
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
About the Author
By John S. Boyer, and Hal G. Moore
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The Computational Logic Handbook (Perspectives in Computing)
Stock Image
A Computational Logic Handbook (Perspectives in Computing)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0121229521I3N10
Seller Image
The Computational Logic Handbook (Perspectives in Computing)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # rev6575393162
Buy Used
£ 36.01
£ 8.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Computational Logic Handbook
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 408. Seller Inventory # 1845381530
Seller Image
A Computational Logic Handbook (Perspectives in Computing)
Seller: Blue Fog Books, Arlington Heights, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Sun fading to covers. No names, underlining, notes or highlighting. p1. Seller Inventory # ABE-1769904560984
Stock Image
A Computational Logic Handbook (Perspectives in Computing)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75801212295215
Buy Used
£ 111
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available