close
1.

電子ブック
ＥＢ
1. Apartness and Uniformity : A Constructive Development
by Douglas S. Bridges, Luminiţa Simona Vîţă
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-3-642-22415-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6735
オンライン: http://dx.doi.org/10.1007/978-3-642-21875-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6878
オンライン: http://dx.doi.org/10.1007/978-3-642-23211-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6953
オンライン: http://dx.doi.org/10.1007/978-3-642-24130-7
所蔵情報: loading…
5.

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

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

電子ブック
ＥＢ
7. Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6690
オンライン: http://dx.doi.org/10.1007/978-3-642-21691-6
所蔵情報: loading…
8.

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