Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers - European Workshop on Inductive Databases and Constraint Based Mining (2004 : Hinterzarten, Germany); Hong, Hoon.; Wang, Dongming; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Geometry -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Computer Graphics; Convex and Discrete Geometry; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Pattern Recognition