Automated Deduction in Geometry [electronic resource] Proceedings

International Workshop, ADG (6 Spain 2006)

Automated Deduction in Geometry [electronic resource] Proceedings ed by Francisco Botana and Tomas Recio - Berlin Springer 2007

http://dx.doi.org/10.1007/978-3-540-77356-6

9783540773566

516.00285 / (e-book)

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha