Automated Deduction in Geometry

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Application Software, Computer Graphics, General Computing
Big bigCover of Automated Deduction in Geometry

More books from Springer International Publishing

bigCover of the book Recent Developments and New Directions in Soft Computing by
bigCover of the book Innovative Start-Ups and the Distribution of Human Capital by
bigCover of the book Capacity and Inventory Planning for Make-to-Order Production Systems by
bigCover of the book SYRIZA by
bigCover of the book Advanced Concepts, Methodologies and Technologies for Transportation and Logistics by
bigCover of the book Intracranial Pressure & Neuromonitoring XVI by
bigCover of the book New Frontiers in Artificial Intelligence by
bigCover of the book Vascular Diseases for the Non-Specialist by
bigCover of the book Highlighting the Importance of Big Data Management and Analysis for Various Applications by
bigCover of the book The Connected Lives of Dutch Punks by
bigCover of the book Advances in Network-Based Information Systems by
bigCover of the book Multivariate Time Series Analysis in Climate and Environmental Research by
bigCover of the book Future Data and Security Engineering by
bigCover of the book Spatial Visualization and Professional Competence by
bigCover of the book Taiwan's Impact on China by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy