Image from Amazon.com
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers edited by Hoon Hong, Dongming Wang.
Series: Lecture Notes in Computer Science ; 3763Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: x, 211 p. : ill., digital ; 24 cmISBN:- 9783540313632 (electronic bk.)
- Geometry -- Data processing -- Congresses
- Automatic theorem proving -- Congresses
- Logic, Symbolic and mathematical -- Congresses
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Computer Graphics
- Convex and Discrete Geometry
- Discrete Mathematics in Computer Science
- Mathematical Logic and Formal Languages
- Pattern Recognition
- 005.74 22
- QA76.9.D3 E924 2004
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.