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