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
Cover of the book Automated Deduction in Geometry by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319213620
Publisher: Springer International Publishing Publication: July 17, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319213620
Publisher: Springer International Publishing
Publication: July 17, 2015
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

More books from Springer International Publishing

Cover of the book Theoretical and Empirical Insights into Child and Family Poverty by
Cover of the book Ideology, Regionalism, and Society in Caribbean History by
Cover of the book Earth Science Satellite Applications by
Cover of the book The Experience Logic as a New Perspective for Marketing Management by
Cover of the book Optimization, Control, and Applications in the Information Age by
Cover of the book Mendel 2015 by
Cover of the book Barry MacSweeney and the Politics of Post-War British Poetry by
Cover of the book Advances in Social Computing and Multiagent Systems by
Cover of the book Recent Trends in Algebraic Development Techniques by
Cover of the book Knowledge Management in the Sharing Economy by
Cover of the book Stabilization of Elastic Systems by Collocated Feedback by
Cover of the book Public Debt, Sustainability and Economic Growth by
Cover of the book Multifunctional Land-Use Systems for Managing the Nexus of Environmental Resources by
Cover of the book New Results in Numerical and Experimental Fluid Mechanics IX by
Cover of the book Implementing the Group-Based Early Start Denver Model for Preschoolers with Autism 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