"Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers"
- Författare
- International Workshop on Automated Deduction in Geometry
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2001 | Utgivningsland okänt / Ej specificerat |