Automated deduction in geometry : second international workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Bok Engelsk 1999 International Workshop on Automated Deduction in Geometry
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | VI, 285 s. : ill.
|
| Emner | |
| ISBN | 3540666729
|
