LIBRARY Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →