× Automated Deduction in GeometryThird International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papersherausgegeben von Jürgen Richter-Gebert und Dongming WangMitwirkendeHerausgegeben vonJürgen Richter-GebertHerausgegeben vonDongming WangIncludes supplementary material: sn. pub/extras Verfügbarkeit jetzt prüfen