Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
by:
Franz Winkler (author)
Format: paperback
ISBN:
9783540209270 (3540209271)
Publish date: January 28th 2004
Publisher: Springer
Pages no: 229
Edition language: English