Limit this search to....

  (6 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Development of Fundamental Mathematical Theories 1993 Edition (Automated Reasoning)Quaife, ArtHardcover0792320212 /
9780792320210		11/1992$208.99
Automated Reasoning: Essays in Honor of Woody Bledsoe Softcover Repri Edition (Automated Reasoning)Boyer, Robert StephenPaperback9401055424 /
9789401055420		10/2012$104.49
Piton: A Mechanically Verified Assembly-Level Language Softcover Repri Edition (Automated Reasoning)Moore, J. StrotherPaperback9401737916 /
9789401737913		10/2013$52.24
Piton: A Mechanically Verified Assembly-Level Language 1996 Edition (Automated Reasoning)Moore, J. StrotherHardcover0792339207 /
9780792339205		01/1996$94.05
Resolution Proof Systems: An Algebraic Theory Softcover Repri Edition (Automated Reasoning)Stachniak, Z.Paperback9401072515 /
9789401072519		10/2011$104.49
Resolution Proof Systems: An Algebraic Theory 1996 Edition (Automated Reasoning)Stachniak, Z.Hardcover0792340175 /
9780792340171		04/1996$104.49
  (6 items found)