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 Playing to Learn with Reacting to the Past by
Cover of the book Macular Dystrophies by
Cover of the book Pharmacovigilance by
Cover of the book Vasculitis in Clinical Practice by
Cover of the book Tissue Engineering for the Heart by
Cover of the book Computer Vision, Imaging and Computer Graphics – Theory and Applications by
Cover of the book Racism in Contemporary African American Children’s and Young Adult Literature by
Cover of the book Combined Cycle Driven Efficiency for Next Generation Nuclear Power Plants by
Cover of the book The United Nations Convention on the Rights of Persons with Disabilities by
Cover of the book Advanced Materials Processing and Manufacturing by
Cover of the book Identifying Stock Market Bubbles by
Cover of the book Cognitive Infocommunications (CogInfoCom) by
Cover of the book How Outlaws Win Friends and Influence People by
Cover of the book The Psychology of Love and Hate in Intimate Relationships by
Cover of the book Development Aid and Adaptation to Climate Change in Developing Countries 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