Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science, Band 7993)
von:
Tetsuo Ida
·
Jacques Fleuriot
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-40671-3
ISBN-10: 3-642-40671-8
Springer
· 2013
