
Automated Deduction in Geometry
- Undertittel
- 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
- Redaktør
- Thomas Sturm, Christoph Zengler
- ISBN
- 9783642210457
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 16.5.2011
- Antall sider
- 225
