Automated Deduction In Geometry: 7th International Workshop, Adg 2008, Shanghai, China, September 22 24, 2008, Revised Papers (Lecture Notes In ... / Lecture Notes In Artificial Intelligence)
Format: paperback
ISBN:
9783642210457 (3642210457)
Publish date: May 16th 2011
Publisher: Springer
Pages no: 224
Edition language: English