Hong, Hoon.
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / [electronic resource] : edited by Hoon Hong, Dongming Wang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3763 0302-9743 ; . - Lecture Notes in Computer Science, 3763 .
9783540313632
10.1007/11615798 doi
Computer science.
Computational complexity.
Artificial intelligence.
Computer graphics.
Optical pattern recognition.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computer Graphics.
Pattern Recognition.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / [electronic resource] : edited by Hoon Hong, Dongming Wang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3763 0302-9743 ; . - Lecture Notes in Computer Science, 3763 .
9783540313632
10.1007/11615798 doi
Computer science.
Computational complexity.
Artificial intelligence.
Computer graphics.
Optical pattern recognition.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computer Graphics.
Pattern Recognition.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3