Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, Septem - detaljert visning

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers


Utgitt	Berlin : Springer , c2006
Omfang	X, 211 s. : ill.
Emner	Automatisk deduksjon Geometri
ISBN	354031332X. - 9783540313328