
Automated Deduction in Geometry
Franz Winkler
₹5,560

4th International Conference
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2011, Algebraic Informatics: 4th International Conference by Franz Winkler is available as a new copy.
Topics covered include Logic design, Computational complexity, Computer science and Software engineering.