1.

電子ブック
ＥＢ
1. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers. 1st ed. 1995
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: https://doi.org/10.1007/3-540-60156-2
2.

電子ブック
ＥＢ
2. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings. 1st ed. 1995
edited by Gerard Cohen, Marc Giusti, Teo Mora
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 948
オンライン: https://doi.org/10.1007/3-540-60114-7
3.

電子ブック
ＥＢ
3. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report. 1st ed. 1993
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Artificial Intelligence ; 755
オンライン: https://doi.org/10.1007/3-540-57499-9
4.

電子ブック
ＥＢ
4. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings. 1st ed. 1991
edited by Harold F. Mattson, Teo Mora, T.R.N. Rao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 539
オンライン: https://doi.org/10.1007/3-540-54522-0
5.

電子ブック
ＥＢ
5. Fundamental Algorithms for Permutation Groups. 1st ed. 1991
by Gregory Butler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 559
オンライン: https://doi.org/10.1007/3-540-54955-2