Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Pro 1997 Edition McCune, WilliamPaperback3540631046 /
9783540631040		06/1997$52.24
Automated Deduction in Equational Logic and Cubic Curves 1996 Edition (Lecture Notes in Physics)McCune, WilliamPaperback3540613986 /
9783540613985		06/1996$52.24
  (2 items found)