Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers

by Hoon Hong

This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354031332X
• ISBN13: 9783540313328
• Release Date: January 2006
• Publisher: Springer
• Length: 213 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.1" x 9.3"