author = { ADG 7 2008 Schanghai Sturm, Thomas AND Zengler, Christoph },

title = { Automated deduction in geometry 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 ; revised papers },

publisher = {Springer},

isbn = {3642210457},

isbn = {9783642210457},

keywords = { Geometry Data processing Congresses , Automatic theorem proving Congresses , Konferenzschrift 2008 Schanghai , Geometrie , Automatisches Beweisverfahren , Geometrische Modellierung },

year = {2011},

abstract = {Literaturangaben},

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

address = { Berlin },

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