close
1.

電子ブック
ＥＢ
1. Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
edited by Michael Fisher, Fariba Sadri, Michael Thielscher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5405
オンライン: http://dx.doi.org/10.1007/978-3-642-02734-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5674
オンライン: http://dx.doi.org/10.1007/978-3-642-03359-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
edited by Cristian S. Calude, Jose Felix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5715
オンライン: http://dx.doi.org/10.1007/978-3-642-03745-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
edited by Mario Bravetti, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5710
オンライン: http://dx.doi.org/10.1007/978-3-642-04081-8
所蔵情報: loading…