语系
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
(书目-语言数据,印刷品)