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
Big bigCover of Automated Deduction in Geometry

More books from Springer International Publishing

bigCover of the book Recent Advances in Control and Filtering of Dynamic Systems with Constrained Signals by
bigCover of the book Structural Motion Engineering by
bigCover of the book Nailing the Written Emergency Medicine Board Examination by
bigCover of the book Conceptualizing Copyright Exceptions in China and South Africa by
bigCover of the book Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes by
bigCover of the book Fundamentals of Arc Spraying by
bigCover of the book Database Systems for Advanced Applications by
bigCover of the book Materialism: A Historico-Philosophical Introduction by
bigCover of the book Professional Authority After the Global Financial Crisis by
bigCover of the book The Pathology of Cardiac Transplantation by
bigCover of the book Machine Learning Paradigms by
bigCover of the book The British Role in Iranian Domestic Politics (1951-1953) by
bigCover of the book Interregionalism across the Atlantic Space by
bigCover of the book Image Analysis and Recognition by
bigCover of the book Progress in Motor Control 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