Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Computer-Aided Reasoning: Acl2 Case Studies 2000 Edition (Advances in Formal Methods)Kaufmann, MattHardcover0792378490 /
9780792378495		06/2000$208.99
Computer-Aided Reasoning: Acl2 Case Studies Softcover Repri Edition (Advances in Formal Methods)Kaufmann, MattPaperback144194981X /
9781441949813		12/2010$208.99
Computer-Aided Reasoning: Acl2 Case Studies 2000 Edition (Advances in Formal Methods)Kaufmann, MattHardcover0792378806 /
9780792378808		06/2000$312.55
  (3 items found)