Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642210457, 9783642210464

Sign in / Sign up

Export Citation Format

Share Document