1.

電子ブック
ＥＢ
1. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
2.

電子ブック
ＥＢ
2. Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
edited by Dino Pedreschi, Carlo Zaniolo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1154
オンライン: http://dx.doi.org/10.1007/BFb0031733
3.

電子ブック
ＥＢ
3. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
4.

電子ブック
ＥＢ
4. Tractable Reasoning in Artificial Intelligence
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 941
オンライン: http://dx.doi.org/10.1007/3-540-60058-2
5.

電子ブック
ＥＢ
5. Computational Learning Theory : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
edited by Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904
オンライン: http://dx.doi.org/10.1007/3-540-59119-2
6.

電子ブック
ＥＢ
6. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
7.

電子ブック
ＥＢ
7. Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings
edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 659
オンライン: http://dx.doi.org/10.1007/BFb0030385
8.

電子ブック
ＥＢ
8. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
9.

電子ブック
ＥＢ
9. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
10.

電子ブック
ＥＢ
10. Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
edited by A. Voronkov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592
オンライン: http://dx.doi.org/10.1007/3-540-55460-2
11.

電子ブック
ＥＢ
11. Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings
edited by S. Kaplan, M. Okada
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 516
オンライン: http://dx.doi.org/10.1007/3-540-54317-1
12.

電子ブック
ＥＢ
12. Rewriting Techniques and Applications : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
edited by Ronald V. Book
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 488
オンライン: http://dx.doi.org/10.1007/3-540-53904-2
13.

電子ブック
ＥＢ
13. CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 440
オンライン: http://dx.doi.org/10.1007/3-540-52753-2
14.

電子ブック
ＥＢ
14. CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 385
オンライン: http://dx.doi.org/10.1007/BFb0026291
15.

電子ブック
ＥＢ
15. Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 371
オンライン: http://dx.doi.org/10.1007/3-540-51364-7