
Automated Deduction in Geometry
- Alaotsikko
- 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
- Toimittaja
- Thomas Sturm, Christoph Zengler
- ISBN
- 9783642210457
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 16.5.2011
- Sivumäärä
- 225