Automated Deduction in Geometry : 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

形態:

v.: digital

著者名:

• Sturm, Thomas
• Zengler, Christoph
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 6301

書誌ID:

NB02224541

ISBN:

9783642210464 [3642210465]      

学内からのみアクセスすることができます。