1.

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

電子ブック
ＥＢ
2. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
3.

電子ブック
ＥＢ
3. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
4.

電子ブック
ＥＢ
4. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
オンライン: https://doi.org/10.1007/3-540-60983-0
5.

電子ブック
ＥＢ
5. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
6.

電子ブック
ＥＢ
6. Reasoning with Logic Programming. 1st ed. 1996
by Jose Julio Alferes, Luis Moniz Pereira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1111
オンライン: https://doi.org/10.1007/3-540-61488-5
7.

電子ブック
ＥＢ
7. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings. 1st ed. 1996
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: https://doi.org/10.1007/3-540-60939-3
8.

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

電子ブック
ＥＢ
9. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings. 1st ed. 1995
edited by Manuel Hermenegildo, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 982
オンライン: https://doi.org/10.1007/BFb0026808
10.

電子ブック
ＥＢ
10. Constraint Processing : Selected Papers. 1st ed. 1995
edited by Manfred Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 923
オンライン: https://doi.org/10.1007/3-540-59479-5
11.

電子ブック
ＥＢ
11. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. 1st ed. 1994
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 822
オンライン: https://doi.org/10.1007/3-540-58216-9
12.

電子ブック
ＥＢ
12. Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings. 1st ed. 1994
edited by Manuel Hermenegildo, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 844
オンライン: https://doi.org/10.1007/3-540-58402-1
13.

電子ブック
ＥＢ
13. Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings. 1st ed. 1994
edited by Baudouin LeCharlier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: https://doi.org/10.1007/3-540-58485-4
14.

電子ブック
ＥＢ
14. Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings. 1st ed. 1993
edited by Maurice Bruynooghe, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 714
オンライン: https://doi.org/10.1007/3-540-57186-8
15.

電子ブック
ＥＢ
15. The Generic Development Language Deva : Presentation and Case Studies. 1st ed. 1993
by Matthias Weber, Martin Simons, Christine Lafontaine
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 738
オンライン: https://doi.org/10.1007/3-540-57335-6
16.

電子ブック
ＥＢ
16. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings. 1st ed. 1992
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: https://doi.org/10.1007/3-540-55844-6
17.

電子ブック
ＥＢ
17. Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. 1st ed. 1991
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 485
オンライン: https://doi.org/10.1007/3-540-53919-0
18.

電子ブック
ＥＢ
18. Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings. 1st ed. 1991
edited by Anthony Beaumont, Gopal Gupta
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 569
オンライン: https://doi.org/10.1007/3-540-55038-0
19.

電子ブック
ＥＢ
19. Next Generation Information System Technology : First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990. Procceedings. 1st ed. 1991
edited by Joachim W. Schmidt, Anatoly A. Stogny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 504
オンライン: https://doi.org/10.1007/3-540-54141-1
20.

電子ブック
ＥＢ
20. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings. 1st ed. 1991
edited by Jan Maluszynski, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: https://doi.org/10.1007/3-540-54444-5
21.

電子ブック
ＥＢ
21. Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990
edited by Pierre Deransart, Martin Jourdan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: https://doi.org/10.1007/3-540-53101-7
22.

電子ブック
ＥＢ
22. Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings. 1st ed. 1990
edited by Pierre Deransart, Jan Maluszynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: https://doi.org/10.1007/BFb0024171
23.

電子ブック
ＥＢ
23. Combinatorics on Traces. 1st ed. 1990
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: https://doi.org/10.1007/3-540-53031-2
24.

電子ブック
ＥＢ
24. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. 1st ed. 1990
edited by Neil Jones
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 432
オンライン: https://doi.org/10.1007/3-540-52592-0
25.

電子ブック
ＥＢ
25. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. 1st ed. 1989
by Dirk A. Taubner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 369
オンライン: https://doi.org/10.1007/3-540-51525-9
26.

電子ブック
ＥＢ
26. Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. 1st ed. 1989
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 383
オンライン: https://doi.org/10.1007/3-540-51564-X
27.

電子ブック
ＥＢ
27. Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings. 1st ed. 1984
edited by J. Paredaens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: https://doi.org/10.1007/3-540-13345-3