close
1.

電子ブック
ＥＢ
1. 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
シリーズ名: Lecture Notes in Computer Science ; 6301
オンライン: http://dx.doi.org/10.1007/978-3-642-21046-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Automated Deduction in Geometry : 6th International Workshop ADG 2006 Pontevedra Spain August 31-September 2 2006. Revised Papers
edited by Francisco Botana Tomas Recio
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4869
オンライン: http://dx.doi.org/10.1007/978-3-540-77356-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Automated Deduction in Geometry : 5th International Workshop ADG 2004 Gainesville FL USA September 16-182004 Revised Papers
edited by Hoon Hong Dongming Wang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3763
オンライン: http://dx.doi.org/10.1007/11615798
所蔵情報: loading…