close
1.

図書
図書
1. Uncertainty in artificial intelligence : proceedings of the Twenty-first Conference (2005) : July 26-29, 2005, Edinburgh, Scotland
edited by Fahiem Bacchus, Tommi Jaakkola
出版情報: Corvallis, Oreg. : AUAI Press, c2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
edited by Fahiem Bacchus, Toby Walsh
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3569
オンライン: http://dx.doi.org/10.1007/b137280
所蔵情報: loading…