Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science (2061), Band 2061)

von: Dongming Wang · J??rgen Richter-Gebert Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-42598-4 ISBN-10: 3-540-42598-5 Springer · 2008