語系
BacchusFahiem
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
by:
BacchusFahiem; WalshToby
(書目-語言資料,印刷品)