Record:   Prev Next
作者 International Workshop on Automated Deduction in Geometry (7th : 2008 : Shanghai, China)
書名 Automated deduction in geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / edited by Thomas Sturm, Christoph Zengler
出版項 Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
國際標準書號 9783642210464 (electronic bk.)
9783642210457 (paper)
book jacket
Record:   Prev Next