Automated deduction in geometry: third international workshop, adg 2000, zurich, switzerland, september 25-27, 2000 - revised papers
Auteur :
Richter-Gebert, Jurgen
ISBN :
9783540425984
Date de publication :
12 sept. 2001
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
478 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book constitutes the refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.