close
1.

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

電子ブック
ＥＢ
2. Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6245
オンライン: http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報: loading…