1.

電子ブック
ＥＢ
1. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
2.

電子ブック
ＥＢ
2. Automated Deduction in Equational Logic and Cubic Curves
by W. McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095
オンライン: http://dx.doi.org/10.1007/3-540-61398-6
3.

電子ブック
ＥＢ
3. Algebraic Coding : First French-Soviet Workshop Paris, July 22–24, 1991 Proceedings
edited by Gérard Cohen, Antoine Lobstein, Gilles Zémor, Simon Litsyn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 573
オンライン: http://dx.doi.org/10.1007/BFb0034333
4.

電子ブック
ＥＢ
4. Geometry and Robotics : Workshop, Toulouse, France, May 26–28, 1988 Proceedings
edited by J. -D. Boissonnat, J. -P. Laumond
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 391
オンライン: http://dx.doi.org/10.1007/3-540-51683-2