Items related to The Computational Logic Handbook (Perspectives in Computing)
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.
Search results for The Computational Logic Handbook (Perspectives in Computing)
Stock Image
The Computational Logic Handbook
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. xvi + 408. Seller Inventory # 46385231
Quantity: 1 available
Stock Image
The Computational Logic Handbook
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. xvi + 408 Index. Seller Inventory # 2645381520
Quantity: 1 available
Stock Image
The Computational Logic Handbook
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: Used. pp. xvi + 408. Seller Inventory # 1845381530
Quantity: 1 available
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. book. Seller Inventory # ERICA75801212295215
Quantity: 1 available
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
Quantity: 1 available