close
1.

電子ブック
ＥＢ
1. Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
edited by Anuj Dawar, Helmut Veith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6247
オンライン: http://dx.doi.org/10.1007/978-3-642-15205-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 25 Years of Model Checking : History, Achievements, Perspectives
edited by Orna Grumberg, Helmut Veith
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5000
オンライン: http://dx.doi.org/10.1007/978-3-540-69850-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5330
オンライン: http://dx.doi.org/10.1007/978-3-540-89439-1
所蔵情報: loading…