Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)

by Jacques Fleuriot (Editor), Tetsuo Ida (Editor)

$48.90

Save:$2.78 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 204
Edition: 2013
Publisher: Springer
Published: 12 Sep 2013

ISBN 10: 3642406718
ISBN 13: 9783642406713