Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Hoon Hong, Dongming Wang (eds.)
Bok Engelsk 2006 International Workshop on Automated Deduction in Geometry
Utgitt | Berlin : Springer , c2006
|
---|---|
Omfang | X, 211 s. : ill.
|
Emner | |
ISBN | 354031332X. - 9783540313328
|