close
1.

電子ブック
ＥＢ
1. Conditionals and Modularity in General Logics
by Dov M. Gabbay, Karl Schlechta
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-19068-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6680
オンライン: http://dx.doi.org/10.1007/978-3-642-21350-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
by Radomir S. Stanković, Jaakko Astola
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Studies in Computational Intelligence ; 335
オンライン: http://dx.doi.org/10.1007/978-3-642-11682-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
by Łukasz Kaiser
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6810
オンライン: http://dx.doi.org/10.1007/978-3-642-22807-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Natural Deduction, Hybrid Systems and Modal Logics
by Andrzej Indrzejczak
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Trends in Logic ; 30
オンライン: http://dx.doi.org/10.1007/978-90-481-8785-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Proof Theory for Fuzzy Logics
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. A Missing Link in Cybernetics : Logic and Continuity
by Alex M. Andrew
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: IFSR International Series on Systems Science and Engineering ; 26
オンライン: http://dx.doi.org/10.1007/978-0-387-75164-1
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
edited by Hans Kleine Buning, Xishun Zhao
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4996
オンライン: http://dx.doi.org/10.1007/978-3-540-79719-7
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone Martini
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5213
オンライン: http://dx.doi.org/10.1007/978-3-540-87531-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. New Developments in Formal Languages and Applications
edited by Gemma Bel-Enguix, M. Dolores Jimenez-Lopez, Carlos Martin-Vide
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Studies in Computational Intelligence ; 113
オンライン: http://dx.doi.org/10.1007/978-3-540-78291-9
所蔵情報: loading…