Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers | 978-3-54O-42598-4 (3-54O-42598-5) | 2008 | Dongming Wang |
J. G. · J R · J R R · J. Richter · J. Richter-Gebert · R.R. · R. Richter