close
1.

電子ブック
ＥＢ
1. Towards Mechanized Mathematical Assistants : 14th Symposium Calculemus 2007 6th International Conference MKM 2007 Hagenberg Austria June 27-30 2007. Proceedings
edited by Manuel Kauers Manfred Kerber Robert Miner W
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4573
オンライン: http://dx.doi.org/10.1007/978-3-540-73086-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Mathematical Knowledge Management (vol. 3863) : 4th International Conference MKM 2005 Bremen Germany July 15-172005 Revised Selected Papers
edited by Michael Kohlhase
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3863
オンライン: http://dx.doi.org/10.1007/11618027
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Mathematical Knowledge Management (vol. 4108) : 5th International Conference MKM 2006 Wokingham UK August 11-122006 Proceedings
edited by Jonathan M. Borwein William M. Farmer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4108
オンライン: http://dx.doi.org/10.1007/11812289
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy
edited by Michael Kohlhase
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4180
オンライン: http://dx.doi.org/10.1007/11826095
所蔵情報: loading…