close
1.

電子ブック
ＥＢ
1. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
edited by Weiru Liu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6717
オンライン: http://dx.doi.org/10.1007/978-3-642-22152-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Semantics in Data and Knowledge Bases : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
edited by Klaus-Dieter Schewe, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6834
オンライン: http://dx.doi.org/10.1007/978-3-642-23441-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
edited by Jürgen Dix, Michael Fisher, Peter Novák
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6214
オンライン: http://dx.doi.org/10.1007/978-3-642-16867-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday
edited by Simon Siegler, Nathan Wasser
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6463
オンライン: http://dx.doi.org/10.1007/978-3-642-17172-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Argumentation in Multi-Agent Systems : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6057
オンライン: http://dx.doi.org/10.1007/978-3-642-12805-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Natural Language Processing and Information Systems : 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrucken, Germany, June 24-26, 2009. Revised Papers
edited by Helmut Horacek, Elisabeth Metais, Rafael Munoz, Magdalena Wolska
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5723
オンライン: http://dx.doi.org/10.1007/978-3-642-12550-8
所蔵情報: loading…