Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers: 2061 (Lecture Notes in Computer Science)
by Dongming Wang,J??rgen Richter-Gebert
ISBN 13: 9783540425984
Format: Paperback (340 pages) Publisher: Springer Published: 13 Jun 2008
Save for later