Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Deduction -- Cade-24: 24th International Conference on Automated Deduction, Lake Placid, Ny, Usa, June 9-14, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Bonacina, Maria PaolaPaperback3642385737 /
9783642385735		05/2013$52.24
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)