TY  - DATA
AU  - Botana,Francisco
AU  - Recio,Tomas
ED  - SpringerLink (Online service)
TI  - Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540773566
AV  - QA448.D38 B68 2007
PY  - 2007///
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  - Computer Graphics
KW  - Mathematical Logic and Formal Languages
KW  - Pattern Recognition
KW  - Discrete Mathematics in Computer Science
KW  - Convex and Discrete Geometry
UR  - http://dx.doi.org/10.1007/978-3-540-77356-6
ER  -