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
|
