author = { Gao, Xiao-Shan Wang, Dongming AND Yang, Lu },

title = { Automated Deduction in Geometry Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings },

publisher = {Springer-Verlag Berlin Heidelberg},

isbn = {9783540479970},

keywords = { Computer science , Artificial intelligence , Computer graphics , Computer vision , Geometry , Computer Science , Machine theory. , Konferenzschrift 1998 Peking , Geometrie , Automatisches Beweisverfahren , Räumliches Schließen },

year = {1999},

abstract = {Literaturangaben},

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

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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