言語
BacchusFahiem
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
…で:
BacchusFahiem; WalshToby
(言語・文字資料 (印刷物))