dblp.uni-trier.de www.uni-trier.de

5. ADG 2004: Gainesville, FL, USA

Hoon Hong, Dongming Wang (Eds.): Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763 Springer 2006, ISBN 3-540-31332-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:05:44 2010 by Michael Ley (ley@uni-trier.de)