Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
- Författare
- Pascal. Schreck
- (Edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-25070-5 |