Synopsis
Contains a precise and complete description of the computational logic developed 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.
Other Popular Editions of the Same Title
Search results for A Computational Logic Handbook (Perspectives in Computing)
Stock Image
A Computational Logic Handbook (Perspectives in Computing)
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_378725293
Stock Image
The Computational Logic Handbook
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 408 Index. Seller Inventory # 2645381520
Stock Image
The Computational Logic Handbook
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 408. Seller Inventory # 46385231
Buy New
US$ 113.72
Shipping:
US$ 8.56
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
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
US$ 150.60
Shipping:
US$ 32.93
From United Kingdom to U.S.A.
Quantity: 1 available