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…