Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Applied Mathematics)Zhang, Jing-ZhongHardcover9810215843 /
9789810215842		04/1994$164.35
Symbolic Computation and EducationWang, DongmingHardcover9812775994 /
9789812775993		10/2007$140.60
  (2 items found)