Sturm, Thomas.
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / [electronic resource] : edited by Thomas Sturm, Christoph Zengler. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6301 0302-9743 ; . - Lecture Notes in Computer Science, 6301 .
9783642210464
10.1007/978-3-642-21046-4 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer graphics.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / [electronic resource] : edited by Thomas Sturm, Christoph Zengler. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6301 0302-9743 ; . - Lecture Notes in Computer Science, 6301 .
9783642210464
10.1007/978-3-642-21046-4 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer graphics.
Discrete groups.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Convex and Discrete Geometry.
Q334-342 TJ210.2-211.495
006.3