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

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

Big bigCover of Automated Deduction in Geometry

More books from Springer International Publishing

bigCover of the book The Logical Legacy of Nikolai Vasiliev and Modern Logic by

bigCover of the book Quantitative Recombination and Transport Properties in Silicon from Dynamic Luminescence by

bigCover of the book The Hsp60 Chaperonin by

bigCover of the book Reforms and Innovation in Education by

bigCover of the book Lung Cancer and Personalized Medicine by

bigCover of the book Hematologic Abnormalities and Acute Lung Syndromes by

bigCover of the book Interactive Theorem Proving by

bigCover of the book Information Security and Privacy by

bigCover of the book Information Literacy in the Workplace by

bigCover of the book Sleep Disorders in Children by

bigCover of the book Global Education Policy, Impact Evaluations, and Alternatives by

bigCover of the book Soft Computing Applications by

bigCover of the book Cyberspace Safety and Security by

bigCover of the book Semiconductor Materials for Solar Photovoltaic Cells by

bigCover of the book Language and Automata Theory and Applications 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