BooksRock.com - Kids Books At Amazing Low Prices!
Sign In
/
Create an account
Home
Categories
Hot Books
Book Bargains
Box Assortment
Power Search
Limit this search to....
All
Books
DVDs
CDs
(2 items found)
Title
Author / Artist
Prod Type
ISBN/ISBN-13
or UPC
Pub
Date
Price
Handbook of Automated Reasoning: Volume I
(Handbook of Automated Reasoning)
Voronkov, Andrei
Hardcover
0444829490 /
9780444829498
06/2001
$237.60
Handbook of Automated Reasoning: Volume II
(Handbook of Automated Reasoning)
Robinson, Alan J. a.
Hardcover
0444508120 /
9780444508126
06/2001
$272.25
(2 items found)