Botana, Francisco.
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / [electronic resource] : edited by Francisco Botana, Tomas Recio. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4869 0302-9743 ; . - Lecture Notes in Computer Science, 4869 .
9783540773566
10.1007/978-3-540-77356-6 doi
Computer science.
Computational complexity.
Artificial intelligence.
Computer graphics.
Optical pattern recognition.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Pattern Recognition.
Discrete Mathematics in Computer Science.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / [electronic resource] : edited by Francisco Botana, Tomas Recio. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4869 0302-9743 ; . - Lecture Notes in Computer Science, 4869 .
9783540773566
10.1007/978-3-540-77356-6 doi
Computer science.
Computational complexity.
Artificial intelligence.
Computer graphics.
Optical pattern recognition.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Pattern Recognition.
Discrete Mathematics in Computer Science.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3