close
1.

電子ブック
ＥＢ
1. Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
edited by Tomi Janhunen, Ilkka Niemelä
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6341
オンライン: http://dx.doi.org/10.1007/978-3-642-15675-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6042
オンライン: http://dx.doi.org/10.1007/978-3-642-14287-1
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
edited by Christian Ebert, Gerhard Jager, Jens Michaelis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6149
オンライン: http://dx.doi.org/10.1007/978-3-642-14322-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
edited by Anuj Dawar, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6188
オンライン: http://dx.doi.org/10.1007/978-3-642-13824-9
所蔵情報: loading…