author = { ADG 6 2006 Pontevedra Botana, Francisco AND Recio, Tomás },

title = { Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540773566},

keywords = { Computational complexity , Optical pattern recognition , Discrete groups , Computer Science , Computer science , Artificial intelligence , Computer graphics , Machine theory. , Pattern recognition systems. , Geometry. , Discrete mathematics. , Automatic theorem proving Congresses , Geometry Data processing Congresses , Logic, Symbolic and mathematical Congresses , Konferenzschrift 2006 Pontevedra , Geometrie , Automatisches Beweisverfahren , Geometrische Modellierung },

year = {2007},

booktitle = {Lecture Notes in Computer Science ; 4869},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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