検索結果 3 件
紙図書
国立国会図書館
紙図書
全国の図書館
紙図書
全国の図書館
- 目次・記事... : proceedings Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : Second International Conference, CPAIOR 2005 Prague, Czech Republic, May 30-June 1, 2005 : proceedings Verification, model checking,...
- 関連情報... : proceedings Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : Second International Conference, CPAIOR 2005 Prague, Czech Republic, May 30-June 1, 2005 : proceedings Verification, model checking,...
検索結果は以上です。