Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings 1990 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Stickel, Mark E.Paperback3540528857 /
9783540528852		07/1990$151.99
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 2013 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Bonacina, Maria PaolaPaperback3642366740 /
9783642366741		03/2013$47.49
  (2 items found)