1.

電子ブック
ＥＢ
1. Model Theory and Algebraic Geometry : An introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture [e-books]
edited by Elisabeth Bouscaren
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
シリーズ名: Lecture Notes in Mathematics ; 1696
オンライン: http://dx.doi.org/10.1007/978-3-540-68521-0
2.

電子ブック
ＥＢ
2. Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture. 1st ed. 1998
edited by Elisabeth Bouscaren
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
シリーズ名: Lecture Notes in Mathematics ; 1696
オンライン: https://doi.org/10.1007/978-3-540-68521-0
3.

電子ブック
ＥＢ
3. Ideal Spaces [e-books]
by Martin Väth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1997
シリーズ名: Lecture Notes in Mathematics ; 1664
オンライン: http://dx.doi.org/10.1007/BFb0093548
4.

電子ブック
ＥＢ
4. Ideal Spaces. 1st ed. 1997
by Martin Väth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997
シリーズ名: Lecture Notes in Mathematics ; 1664
オンライン: https://doi.org/10.1007/BFb0093548
5.

電子ブック
ＥＢ
5. Logics for Concurrency : Structure versus Automata
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: http://dx.doi.org/10.1007/3-540-60915-6
6.

電子ブック
ＥＢ
6. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071
オンライン: http://dx.doi.org/10.1007/3-540-61208-4
7.

電子ブック
ＥＢ
7. Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
edited by M. A. McRobbie, J. K. Slaney
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104
オンライン: http://dx.doi.org/10.1007/3-540-61511-3
8.

電子ブック
ＥＢ
8. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: http://dx.doi.org/10.1007/3-540-61254-8
9.

電子ブック
ＥＢ
9. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
10.

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

電子ブック
ＥＢ
11. Term Indexing
edited by Peter Graf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1053
オンライン: http://dx.doi.org/10.1007/3-540-61040-5
12.

電子ブック
ＥＢ
12. Automated Deduction in Equational Logic and Cubic Curves
by W. McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095
オンライン: http://dx.doi.org/10.1007/3-540-61398-6
13.

電子ブック
ＥＢ
13. Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087
オンライン: http://dx.doi.org/10.1007/3-540-61314-5
14.

電子ブック
ＥＢ
14. Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
edited by Hans Kleine Büning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: http://dx.doi.org/10.1007/3-540-61377-3
15.

電子ブック
ＥＢ
15. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085
オンライン: http://dx.doi.org/10.1007/3-540-61313-7
16.

電子ブック
ＥＢ
16. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers. 1st ed. 1996
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1152
オンライン: https://doi.org/10.1007/3-540-61988-7
17.

電子ブック
ＥＢ
17. Application and Theory of Petri Nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings. 1st ed. 1996
edited by Jonathan Billington, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1091
オンライン: https://doi.org/10.1007/3-540-61363-3
18.

電子ブック
ＥＢ
18. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings. 1st ed. 1996
edited by Joakim von Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: https://doi.org/10.1007/BFb0105392
19.

電子ブック
ＥＢ
19. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. 1st ed. 1996
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: https://doi.org/10.1007/3-540-61254-8
20.

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

電子ブック
ＥＢ
21. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. 1st ed. 1996
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1085
オンライン: https://doi.org/10.1007/3-540-61313-7
22.

電子ブック
ＥＢ
22. Automated Deduction in Equational Logic and Cubic Curves. 1st ed. 1996
by William McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1095
オンライン: https://doi.org/10.1007/3-540-61398-6
23.

電子ブック
ＥＢ
23. Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Michael A. McRobbie, J.K. Slaney
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1104
オンライン: https://doi.org/10.1007/3-540-61511-3
24.

電子ブック
ＥＢ
24. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings. 1st ed. 1996
edited by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1071
オンライン: https://doi.org/10.1007/3-540-61208-4
25.

電子ブック
ＥＢ
25. Distributed Artificial Intelligence: Architecture and Modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings. 1st ed. 1996
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1087
オンライン: https://doi.org/10.1007/3-540-61314-5
26.

電子ブック
ＥＢ
26. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918
オンライン: http://dx.doi.org/10.1007/3-540-59338-1
27.

電子ブック
ＥＢ
27. Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 902
オンライン: http://dx.doi.org/10.1007/BFb0014040
28.

電子ブック
ＥＢ
28. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928
オンライン: http://dx.doi.org/10.1007/3-540-59487-6
29.

電子ブック
ＥＢ
29. Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
edited by Michael Fisher, Richard Owens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 897
オンライン: http://dx.doi.org/10.1007/3-540-58976-7
30.

電子ブック
ＥＢ
30. Analysis of Dynamical and Cognitive Systems : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: http://dx.doi.org/10.1007/3-540-58843-4
31.

電子ブック
ＥＢ
31. Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: http://dx.doi.org/10.1007/3-540-60164-3
32.

電子ブック
ＥＢ
32. Logic and Computational Complexity : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers
edited by Daniel Leivant
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 960
オンライン: http://dx.doi.org/10.1007/3-540-60178-3
33.

電子ブック
ＥＢ
33. Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: http://dx.doi.org/10.1007/3-540-60579-7
34.

電子ブック
ＥＢ
34. Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: http://dx.doi.org/10.1007/BFb0022242
35.

電子ブック
ＥＢ
35. Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings. 1st ed. 1995
edited by Giorgio DeMichelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: https://doi.org/10.1007/3-540-60029-9
36.

電子ブック
ＥＢ
36. Term Indexing. 1st ed. 1995
by Peter Graf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1053
オンライン: https://doi.org/10.1007/3-540-61040-5
37.

電子ブック
ＥＢ
37. Analysis of Dynamical and Cognitive Systems : Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings. 1st ed. 1995
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: https://doi.org/10.1007/3-540-58843-4
38.

電子ブック
ＥＢ
38. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings. 1st ed. 1995
edited by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 928
オンライン: https://doi.org/10.1007/3-540-59487-6
39.

電子ブック
ＥＢ
39. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
40.

電子ブック
ＥＢ
40. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings. 1st ed. 1995
edited by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: https://doi.org/10.1007/3-540-60275-5
41.

電子ブック
ＥＢ
41. Logic and Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers. 1st ed. 1995
edited by Daniel Leivant
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 960
オンライン: https://doi.org/10.1007/3-540-60178-3
42.

電子ブック
ＥＢ
42. Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings. 1st ed. 1995
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 902
オンライン: https://doi.org/10.1007/BFb0014040
43.

電子ブック
ＥＢ
43. Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings. 1st ed. 1995
edited by Michael Fisher, Richard Owens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 897
オンライン: https://doi.org/10.1007/3-540-58976-7
44.

電子ブック
ＥＢ
44. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings. 1st ed. 1995
edited by Peter Baumgartner, Reiner Hähnle, Joachim Posegga
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 918
オンライン: https://doi.org/10.1007/3-540-59338-1
45.

電子ブック
ＥＢ
45. Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers. 1st ed. 1995
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: https://doi.org/10.1007/BFb0022242
46.

電子ブック
ＥＢ
46. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
edited by Neil D. Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: http://dx.doi.org/10.1007/BFb0032390
47.

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

電子ブック
ＥＢ
48. Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation
by Gerd Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 764
オンライン: http://dx.doi.org/10.1007/3-540-57604-5
49.

電子ブック
ＥＢ
49. Turing Machines with Sublogarithmic Space
edited by Andrzej Szepietowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 843
オンライン: http://dx.doi.org/10.1007/3-540-58355-6
50.

電子ブック
ＥＢ
50. Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: http://dx.doi.org/10.1007/BFb0049319