Search:

Type:

Format:

Library:

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Cover Image

E-book

E-book

Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot.

Ida, Tetsuo. (editor.). Fleuriot, Jacques. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642406720
Physical Description: X, 193 p. 55 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

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 Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record