
Automated Deduction in Geometry
- Undertitel
- 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
- Redaktör
- Tetsuo Ida, Jacques Fleuriot
- Upplaga
- 2013 ed.
- ISBN
- 9783642406713
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-09-12
- Sidor
- 193