Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6877Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642250705
- 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
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.