Automated Deduction in Geometry electronic resource : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers / edited by Thomas Sturm, Christoph Zengler
- Författare
- China) 2008 : (7th International Workshop on Automated Deduction in Geometry Shanghai
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |