Limit this search to....

  (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, AndreiHardcover0444829490 /
9780444829498		06/2001$237.60
Handbook of Automated Reasoning: Volume II (Handbook of Automated Reasoning)Robinson, Alan J. a.Hardcover0444508120 /
9780444508126		06/2001$272.25
  (2 items found)