Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Jürgen Richter-Gebert | Dongming Wang
Computers / Artificial Intelligence / General
| Publication Date: | 12 September 2001 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540425984 |
| Format: | Paperback / softback |
| Page Count: | 328 |