Automated Deduction in Geometry: 4th International Workshop, Adg 2002 Hagenburg Castle, Austria, September 2002 Revised Papers
by:
Franz Winkler (author)
Format: ebook
ISBN:
9781280306808 (1280306807)
Publish date: January 1st 2005
Publisher: Springer
Pages no: 243
Edition language: English