J??rgen Richter-Gebert

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers978-3-54O-42598-4
(3-54O-42598-5)
2008Dongming Wang

J. G. · J R · J R R · J. Richter · J. Richter-Gebert · R.R. · R. Richter

J]rgen Rossmann