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 Knowledge and Time by
Cover of the book Origin, Evolution and Biogeographic History of South American Turtles by
Cover of the book Overconfidence in SMEs by
Cover of the book Historical Earthquake-Resistant Timber Frames in the Mediterranean Area by
Cover of the book Database and Expert Systems Applications by
Cover of the book U.S. Government Contractors and Human Trafficking by
Cover of the book Interactive Storytelling by
Cover of the book Intergenerational Connections in Digital Families by
Cover of the book Educating the Deliberate Professional by
Cover of the book Avalanches in Functional Materials and Geophysics by
Cover of the book The Human Rights Turn and the Paradox of Progress in the Middle East by
Cover of the book Computational Probability by
Cover of the book Silica Stories by
Cover of the book Transplant Infections by
Cover of the book Private Print Media, the State and Politics in Colonial and Post-Colonial Zimbabwe 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