Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
Franz Winkler (ed.)
Bok Engelsk 2004 International Workshop on Automated Deduction in Geometry
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | VI, 229 s. : ill.
|
| Emner | |
| ISBN | 3540209271
|
