Description
About this book
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: Francisco Botana (Editor); Pedro Quaresma (Editor)
- Publisher: Springer International Publishing
- Publication date: July 17, 2015
- Language: English
- ISBNs: 9783319213613; 9783319213620
- Digital formats: PDF





Reviews
There are no reviews yet.