close
1.

図書
図書
1. Handbook of constraint programming
edited by Francesca Rossi, Peter van Beek, Toby Walsh
出版情報: Amsterdam ; Tokyo : Elsevier, 2006
シリーズ名: Foundations of artificial intelligence / series editors, J. Hendler, H. Kitano, B. Nebel
所蔵情報: 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…