言語
SAT 2003(2003 :
概観
| 著作: | 2 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
…で:
Giunchiglia, Enrico.; SAT 2003(2003 :; Tacchella, Armando.
(言語・文字資料 (印刷物))