Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Theorem Proving: Theory and Practice 2001 Edition Newborn, MontyHardcover0387950753 /
9780387950754		12/2000$161.49
Automated Theorem Proving: Theory and Practice Softcover Repri Edition Newborn, MontyPaperback1461265193 /
9781461265191		05/2013$123.49
  (2 items found)