1.

電子ブック
ＥＢ
1. Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2014
シリーズ名: Trends in Logic, Studia Logica Library ; 39
オンライン: http://dx.doi.org/10.1007/978-94-007-7548-0
2.

電子ブック
ＥＢ
2. Constraints Meet Concurrency
by Jacopo Mauro
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 5
オンライン: http://dx.doi.org/10.2991/978-94-6239-067-6
3.

電子ブック
ＥＢ
3. Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
edited by Manindra Agrawal, Vikraman Arvind
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
シリーズ名: Progress in Computer Science and Applied Logic ; 26
オンライン: http://dx.doi.org/10.1007/978-3-319-05446-9
4.

電子ブック
ＥＢ
4. Cylindric-like Algebras and Algebraic Logic
edited by Hajnal Andréka, Miklós Ferenczi, István Németi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Bolyai Society Mathematical Studies ; 22
オンライン: http://dx.doi.org/10.1007/978-3-642-35025-2
5.

電子ブック
ＥＢ
5. Erdős Centennial
edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Bolyai Society Mathematical Studies ; 25
オンライン: http://dx.doi.org/10.1007/978-3-642-39286-3
6.

電子ブック
ＥＢ
6. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
7.

電子ブック
ＥＢ
7. Hybrid Logic and its Proof-Theory [e-books]
by Torben Braüner
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Applied Logic Series ; 37
オンライン: http://dx.doi.org/10.1007/978-94-007-0002-4
8.

電子ブック
ＥＢ
8. Methods of Cut-Elimination [e-books]
by Alexander Leitsch, Matthias Baaz
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Trends in Logic ; 34
オンライン: http://dx.doi.org/10.1007/978-94-007-0320-9
9.

電子ブック
ＥＢ
9. Mathematical Logic and Model Theory : A Brief Introduction
by Alexander Prestel, Charles N. Delzell
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2176-3
10.

電子ブック
ＥＢ
10. Data Mining and Knowledge Discovery via Logic-Based Methods : Theory, Algorithms, and Applications [e-books]
by Evangelos Triantaphyllou
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
シリーズ名: Springer Optimization and Its Applications ; 43
オンライン: http://dx.doi.org/10.1007/978-1-4419-1630-3
11.

電子ブック
ＥＢ
11. The q-theory of Finite Semigroups [e-books]
by Benjamin Steinberg, John Rhodes
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/b104443
12.

電子ブック
ＥＢ
12. Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [e-books]
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Trends in Logic ; 28
オンライン: http://dx.doi.org/10.1007/978-1-4020-9084-4
13.

電子ブック
ＥＢ
13. Verification and Control of Hybrid Systems : A Symbolic Approach [e-books]
by Paulo Tabuada
出版情報: Boston, MA : Springer-Verlag US, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4419-0224-5
14.

電子ブック
ＥＢ
14. A Course in Formal Languages, Automata and Groups
by Ian M. Chiswell
出版情報: London : Springer-Verlag London, 2009
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-940-0
15.

電子ブック
ＥＢ
15. Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
出版情報: Dordrecht : Springer Science+Business Media B.V., 2008
シリーズ名: Applied Logic Series ; 35
オンライン: http://dx.doi.org/10.1007/978-1-4020-6782-2
16.

電子ブック
ＥＢ
16. Institution-independent Model Theory
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8708-2
17.

電子ブック
ＥＢ
17. Ernst Zermelo : An Approach to His Life and Work [e-books]
by Heinz-Dieter Ebbinghaus
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
オンライン: http://dx.doi.org/10.1007/978-3-540-49553-6
18.

電子ブック
ＥＢ
18. Logica Universalis : Towards a General Theory of Logic [e-books]. Second Edition
edited by Jean-Yves Beziau
出版情報: Basel : Birkhäuser Verlag AG, 2007
オンライン: http://dx.doi.org/10.1007/978-3-7643-8354-1
19.

電子ブック
ＥＢ
19. Mathematical Problems from Applied Logic I : Logics for the XXIst Century [e-books]
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: International Mathematical Series ; 4
オンライン: http://dx.doi.org/10.1007/0-387-31072-X
20.

電子ブック
ＥＢ
20. Notes on Set Theory [e-books]. Second Edition
by Yiannis Moschovakis
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/0-387-31609-4
21.

電子ブック
ＥＢ
21. M-Solid Varieties of Algebras [e-books]
by J. Koppitz, K. Denecke
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Advances in Mathematics ; 10
オンライン: http://dx.doi.org/10.1007/0-387-30806-7
22.

電子ブック
ＥＢ
22. Logica Universalis : Towards a General Theory of Logic [e-books]
edited by Jean-Yves Beziau
出版情報: Basel : Birkhäuser Verlag, 2005
オンライン: http://dx.doi.org/10.1007/b137041
23.

電子ブック
ＥＢ
23. Substitutions in Dynamics, Arithmetics and Combinatorics [e-books]
edited by N. Pytheas Fogg, Valéré Berthé, Sébastien Ferenczi, Christian Mauduit, Anne Siegel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
シリーズ名: Lecture Notes in Mathematics ; 1794
オンライン: http://dx.doi.org/10.1007/b13861
24.

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

電子ブック
ＥＢ
25. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
26.

電子ブック
ＥＢ
26. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7
27.

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

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

電子ブック
ＥＢ
29. Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
edited by V. Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: http://dx.doi.org/10.1007/3-540-62034-6
30.

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

電子ブック
ＥＢ
31. Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings
edited by Setsuo Arikawa, Arun K. Sharma
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160
オンライン: http://dx.doi.org/10.1007/3-540-61863-5
32.

電子ブック
ＥＢ
32. Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: http://dx.doi.org/10.1007/3-540-61780-9
33.

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

電子ブック
ＥＢ
34. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
35.

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

電子ブック
ＥＢ
36. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
37.

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

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

電子ブック
ＥＢ
39. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
40.

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

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

電子ブック
ＥＢ
42. Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
edited by Rajeev Alur, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: http://dx.doi.org/10.1007/3-540-61474-5
43.

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

電子ブック
ＥＢ
44. Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings
edited by Zbigniew W. Raś, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079
オンライン: http://dx.doi.org/10.1007/3-540-61286-6
45.

電子ブック
ＥＢ
45. Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: http://dx.doi.org/10.1007/3-540-61739-6
46.

電子ブック
ＥＢ
46. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: http://dx.doi.org/10.1007/3-540-60922-9
47.

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

電子ブック
ＥＢ
48. Logics in Artificial Intelligence : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126
オンライン: http://dx.doi.org/10.1007/3-540-61630-6
49.

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

電子ブック
ＥＢ
50. Building Tightly Integrated Software Development Environments: The IPSEN Approach
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1170
オンライン: http://dx.doi.org/10.1007/BFb0035684