Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia Softcover Repri Edition (Distinguished Dissertations)Fleuriot, JacquesPaperback1447110412 /
9781447110415		09/2012$104.49
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia 2001 Edition (Distinguished Dissertations,)Fleuriot, JacquesHardcover1852334665 /
9781852334666		06/2001$104.49
Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific)Ida, TetsuoPaperback3642406718 /
9783642406713		09/2013$47.49
  (3 items found)