Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
edited by Hoon Hong, Dongming Wang.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3763
ISBN: 9783540313632