

Automated Deduction in Geometry
- Undertittel
- Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
- Redaktør
- Jurgen Richter-Gebert, Dongming Wang
- ISBN
- 9783540454106
- Språk
- Engelsk
- Utgivelsesdato
- 29.6.2003
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
