Automated Deduction in Geometry | Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers | ISBN 9783540454106

Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

herausgegeben von Jürgen Richter-Gebert und Dongming Wang
Mitwirkende
Herausgegeben vonJürgen Richter-Gebert
Herausgegeben vonDongming Wang