close
1.

電子ブック
ＥＢ
1. Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6167
オンライン: http://dx.doi.org/10.1007/978-3-642-14128-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5144
オンライン: http://dx.doi.org/10.1007/978-3-540-85110-3
所蔵情報: loading…