1.

電子ブック
ＥＢ
1. Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: http://dx.doi.org/10.1007/3-540-61464-8
2.

電子ブック
ＥＢ
2. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: http://dx.doi.org/10.1007/3-540-61697-7
3.

電子ブック
ＥＢ
3. Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: http://dx.doi.org/10.1007/3-540-61228-9
4.

電子ブック
ＥＢ
4. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: http://dx.doi.org/10.1007/3-540-61732-9
5.

電子ブック
ＥＢ
5. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: http://dx.doi.org/10.1007/3-540-60271-2
6.

電子ブック
ＥＢ
6. Rewriting Techniques and Applications : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: http://dx.doi.org/10.1007/3-540-59200-8
7.

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

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

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

電子ブック
ＥＢ
10. Algorithmic Number Theory : First International Symposium, ANTS-I Ithaca, NY, USA, May 6–9, 1994 Proceedings
edited by Leonard M. Adleman, Ming-Deh Huang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 877
オンライン: http://dx.doi.org/10.1007/3-540-58691-1
11.

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

電子ブック
ＥＢ
12. 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
13.

電子ブック
ＥＢ
13. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
edited by Alfonso Miola
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 722
オンライン: http://dx.doi.org/10.1007/BFb0013162
14.

電子ブック
ＥＢ
14. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings
edited by Gérard Cohen, Teo Mora, Oscar Moreno
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 673
オンライン: http://dx.doi.org/10.1007/3-540-56686-4
15.

電子ブック
ＥＢ
15. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: http://dx.doi.org/10.1007/3-540-57272-4
16.

電子ブック
ＥＢ
16. Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 737
オンライン: http://dx.doi.org/10.1007/3-540-57322-4
17.

電子ブック
ＥＢ
17. Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: http://dx.doi.org/10.1007/BFb0023753
18.

電子ブック
ＥＢ
18. LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings
edited by Imre Simon
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 583
オンライン: http://dx.doi.org/10.1007/BFb0023811
19.

電子ブック
ＥＢ
19. Computer Algebra and Parallelism : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings
edited by Richard E. Zippel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 584
オンライン: http://dx.doi.org/10.1007/3-540-55328-2
20.

電子ブック
ＥＢ
20. Instantiation Theory : On the Foundations of Automated Deduction
by James G. Williams
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 518
オンライン: http://dx.doi.org/10.1007/BFb0031932
21.

電子ブック
ＥＢ
21. Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: http://dx.doi.org/10.1007/3-540-54487-9
22.

電子ブック
ＥＢ
22. Algebraic Methods II: Theory, Tools and Applications
edited by J. A. Bergstra, L. M. G. Feijs
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 490
オンライン: http://dx.doi.org/10.1007/3-540-53912-3
23.

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

電子ブック
ＥＢ
24. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 8th International Conference, AAECC-8 Tokyo, Japan, August 20–24, 1990 Proceedings
edited by Shojiro Sakata
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 508
オンライン: http://dx.doi.org/10.1007/3-540-54195-0
25.

電子ブック
ＥＢ
25. 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
26.

電子ブック
ＥＢ
26. Fundamental Algorithms for Permutation Groups
edited by G. Butler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 559
オンライン: http://dx.doi.org/10.1007/3-540-54955-2
27.

電子ブック
ＥＢ
27. Attribute Grammars and their Applications : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings
edited by P. Deransart, M. Jourdan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: http://dx.doi.org/10.1007/3-540-53101-7
28.

電子ブック
ＥＢ
28. Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 425
オンライン: http://dx.doi.org/10.1007/BFb0043074
29.

電子ブック
ＥＢ
29. Eurocal '87 : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: http://dx.doi.org/10.1007/3-540-51517-8
30.

電子ブック
ＥＢ
30. Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings
edited by Maurice Gross, Dominique Perrin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 377
オンライン: http://dx.doi.org/10.1007/3-540-51465-1
31.

電子ブック
ＥＢ
31. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 5th International Conference, AAECC-5 Menorca, Spain, June 15–19, 1987 Proceedings
edited by Llorenç Huguet, Alain Poli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 356
オンライン: http://dx.doi.org/10.1007/3-540-51082-6
32.

電子ブック
ＥＢ
32. Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
edited by P. Gianni
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 358
オンライン: http://dx.doi.org/10.1007/3-540-51084-2
33.

電子ブック
ＥＢ
33. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 6th International Conference, AAECC-6 Rome, Italy, July 4–8, 1988 Proceedings
edited by Teo Mora
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 357
オンライン: http://dx.doi.org/10.1007/3-540-51083-4
34.

電子ブック
ＥＢ
34. Rewriting Techniques and Applications : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
edited by Nachum Dershowitz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 355
オンライン: http://dx.doi.org/10.1007/3-540-51081-8
35.

電子ブック
ＥＢ
35. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
edited by Robert Cori, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 294
オンライン: http://dx.doi.org/10.1007/BFb0035825