

Automated Deduction in Geometry
- Alaotsikko
- Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
- Toimittaja
- Dongming Wang, Jurgen Richter-Gebert
- ISBN
- 9783540454106
- Kieli
- englanti
- Julkaisupäivä
- 29.6.2003
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone