Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22

book

発売日

: 2011年

著者／編集

: Thomas Sturm/Christoph Zengler

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642210457