1.

電子ブック
ＥＢ
1. Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. 1st ed. 2020
edited by Sergei Artemov, Anil Nerode
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11972
オンライン: https://doi.org/10.1007/978-3-030-36755-8
2.

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

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

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

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

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

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

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

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

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