Handbook of Automated Reasoning

by A. Voronkov

 
Textbookx
Marketplace
Marketplace
Price: $234.81
Saving: 14% 		Buy

Seller:
indoo.com
Seller Rating: 4  

Location: Avenel, NJ

Condition: New

0262182238.
  • Seller
  • Condition
  • Comments
  • Price
indoo.com
  Seller Rating: 4
Location: Avenel, NJ
 New
0262182238.
$234.81
Buy
MIT Press Bookstore
  Seller Rating: 5
Location: Cambridge, MA
 Very Good
Sewn binding. Cloth over boards. 2 vols. 2181 p. Contains: Illustrations. Audience: General/trade.
$281.25
Buy