

Automated Deduction in Geometry
- Undertitel
- Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
- Redaktör
- Dongming Wang, Jurgen Richter-Gebert
- ISBN
- 9783540454106
- Språk
- Engelska
- Utgivningsdatum
- 2003-06-29
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
