1.

電子ブック
ＥＢ
1. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
2.

電子ブック
ＥＢ
2. Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
edited by Hélène Kirchner, Giorgio Levi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 632
オンライン: http://dx.doi.org/10.1007/BFb0013814
3.

電子ブック
ＥＢ
3. Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings
edited by Hélène Kirchner, Wolfgang Wechler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 463
オンライン: http://dx.doi.org/10.1007/3-540-53162-9