Automated deduction in geometry: 5th international workshop, adg 2004, gainesville, fl, usa, september 16-18, 2004, revised papers
Auteur :
Hong, Hoon
ISBN :
9783540313328
Date de publication :
25 janv. 2006
Dimensions :
23,4 x 15,6 x 1,2 cm
Poids :
327 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents the refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.