close
1.

電子ブック
ＥＢ
1. Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7052
オンライン: http://dx.doi.org/10.1007/978-3-642-24971-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic and Its Applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
edited by Mohua Banerjee, Anil Seth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6521
オンライン: http://dx.doi.org/10.1007/978-3-642-18026-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Ludics, Dialogue and Interaction : PRELUDE Project - 2006-2009. Revised Selected Papers
edited by Alain Lecomte, Samuel Tronçon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6505
オンライン: http://dx.doi.org/10.1007/978-3-642-19211-1
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
edited by Agostino Dovier, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6125
オンライン: http://dx.doi.org/10.1007/978-3-642-14309-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Algorithmic Aspects in Information and Management : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
edited by Bo Chen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6124
オンライン: http://dx.doi.org/10.1007/978-3-642-14355-7
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
edited by Guido Governatori, Giovanni Sartor
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6181
オンライン: http://dx.doi.org/10.1007/978-3-642-14183-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
edited by Sebastian Link, Henri Prade
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5956
オンライン: http://dx.doi.org/10.1007/978-3-642-11829-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
edited by Jurgen Giesl, Reiner Hahnle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6173
オンライン: http://dx.doi.org/10.1007/978-3-642-14203-1
所蔵情報: loading…