TY - DATA AU - Hong,Hoon AU - Wang,Dongming ED - SpringerLink (Online service) TI - Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers T2 - Lecture Notes in Computer Science, SN - 9783540313632 AV - QA448.D38 H66 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computational complexity KW - Artificial intelligence KW - Computer graphics KW - Optical pattern recognition KW - Discrete groups KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages KW - Discrete Mathematics in Computer Science KW - Computer Graphics KW - Pattern Recognition KW - Convex and Discrete Geometry UR - http://dx.doi.org/10.1007/11615798 ER -