author = { ADG 3 2000 Zürich Richter-Gebert, Jürgen },

title = { Automated deduction in geometry third international workshop, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers },

publisher = {Springer},

isbn = {3540425985},

keywords = { Geometry Data processing Congresses , Logic, symbolic and mathematical Congresses , Automatic theorem proving Congresses , Konferenzschrift 2000 Zürich , Geometrie , Automatisches Beweisverfahren , Geometrische Modellierung },

year = {2001},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 2061 ; Lecture notes in artificial intelligence},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }