Results

Book cover

Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

© 2001

Soft cover - Print (ISBN: 978-3-540-42598-4)

Electronic (ISBN: 978-3-540-45410-6)

View this book on SpringerLink

Download Product Archive File - 978-3-540-45410-6 Download product archive files for 978-3-540-45410-6