Search:

Type:

Format:

Library:

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers Cover Image

E-book

E-book

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.

Schreck, Pascal. (editor.). Narboux, Julien. (editor.). Richter-Gebert, Jürgen. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642250705
Physical Description: X, 259 p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject:

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.

Search for related items by series

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record