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.
Record details
- ISBN: 9783540313632
- Physical Description: X, 213 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Search for related items by subject
Search for related items by series
Electronic resources
No Content Available