Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。