Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

by Dongming Wang

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540642978
• ISBN13: 9783540642978
• Release Date: March 1998
• Publisher: Springer
• Length: 240 Pages
• Weight: 0.78 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"