Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers 2013 Edition Contributor(s): Ida, Tetsuo (Editor), Fleuriot, Jacques (Editor) |
|
ISBN: 3642406718 ISBN-13: 9783642406713 Publisher: Springer OUR PRICE: $47.49 Product Type: Paperback - Other Formats Published: September 2013 |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Computer Graphics - Mathematics | Logic |
Dewey: 004.015 |
Series: Lecture Notes in Computer Science / Lecture Notes in Artific |
Physical Information: 0.43" H x 6.14" W x 9.21" (0.64 lbs) 193 pages |