Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 8 of 8
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers Cover Image E-book E-book

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

Sturm, Thomas. (editor.). Zengler, Christoph. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642210464
  • Physical Description: electronic
    electronic resource
    access
    remote
    IX, 225p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: 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

Search for related items by series

Electronic resources

Texto completo

Back To Results
Showing Item 8 of 8

Additional Resources