年 〜
年

検索結果 3 件

Theory and applications of satisfiability testing : 7th international conference, SAT 2004 : Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers. : May 2004, Vancouver, Canada. (Lecture Notes in Computer Science ; 3542)

Theory and applications of satisfiability testing : 7th international conference, SAT 2004 : Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers. : May 2004, Vancouver, Canada. (Lecture Notes in Computer Science ; 3542)
紙図書
Springerc2005.<M17-05-1910>
国立国会図書館

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
紙図書
Holger H. Hoos, David G. Mitchell (eds.)Springerc2005
全国の図書館

Lecture notes in computer science

Lecture notes in computer science
紙図書
Springer-Verlag
全国の図書館
  • 関連情報...8, Proceedings Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers CONPAR 81 : Conference on Ana...

検索結果は以上です。