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.
US$ 9.13 shipping from France to U.S.A.
Destination, rates & speedsSeller: Ammareal, Morangis, France
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-934-114
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
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
Seller: Book Alley, Pasadena, CA, U.S.A.
hardcover. Condition: Good. Prev. owner's stamp at front, otherwise clean and tight. Seller Inventory # mon0000682898
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA75801212295215
Quantity: 1 available