author = {F. Winkler (ed.)},
title = {{Automated Deduction in Geometry - Proceedings of the Conference Automated Deduction in Geometry (ADG'2002)}},
language = {english},
series = {LNAI 2930,},
publisher = {Springer-Verlag Berlin Heidelberg New York},
isbn_issn = {ISBN 3-540-20927-1; ISSN 0302-9743},
year = {2004},
edition = {1},
translation = {0},
length = {0}