Schreck, Pascal.
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / [electronic resource] : edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6877 0302-9743 ; . - Lecture Notes in Computer Science, 6877 .
9783642250705
10.1007/978-3-642-25070-5 doi
Computer science.
Software engineering.
Computational complexity.
Algebra--Data processing.
Artificial intelligence.
Computer graphics.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Discrete Mathematics in Computer Science.
Software Engineering.
Q334-342 TJ210.2-211.495
006.3
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / [electronic resource] : edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6877 0302-9743 ; . - Lecture Notes in Computer Science, 6877 .
9783642250705
10.1007/978-3-642-25070-5 doi
Computer science.
Software engineering.
Computational complexity.
Algebra--Data processing.
Artificial intelligence.
Computer graphics.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Graphics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Discrete Mathematics in Computer Science.
Software Engineering.
Q334-342 TJ210.2-211.495
006.3