Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Book Overview

With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 was made... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540425985
• ISBN13: 9783540425984
• Release Date: September 2001
• Publisher: Springer
• Length: 328 Pages
• Weight: 1.74 lbs.
• Dimensions: 0.7" x 8.5" x 11.0"