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 Education, Equity, Economy: Crafting a New Intersection by
Cover of the book Psychopathology in Women by
Cover of the book Explorations into Chinese as a Second Language by
Cover of the book Social Perspectives on Ancient Lives from Paleoethnobotanical Data by
Cover of the book Landscape and Power in Geographical Space as a Social-Aesthetic Construct by
Cover of the book Transphobic Hate Crime by
Cover of the book Practical Column Design Guide by
Cover of the book Feminist Approaches to Media Theory and Research by
Cover of the book Social Costs and Benefits of Renewable Electricity Generation in Cyprus by
Cover of the book Tropical Tree Physiology by
Cover of the book A Step by Step Approach to the Modeling of Chemical Engineering Processes by
Cover of the book Infectious Complications in Cancer Patients by
Cover of the book Laser Interaction with Biological Material by
Cover of the book Mathematical Logic by
Cover of the book Clinical Echocardiography and Other Imaging Techniques in Cardiomyopathies 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