Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors
- Författare
- International Workshop on Automated Deduction in Geometry
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |