
Automated Deduction in Geometry
- Alaotsikko
- 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
- Toimittaja
- Tetsuo Ida, Jacques Fleuriot
- Painos
- 2013 ed.
- ISBN
- 9783642406713
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.9.2013
- Sivumäärä
- 193