书名 |
Theory and applications of sat |
作者 |
|
从编题名 |
SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / |
分类 |
O141.1-532 |
主题 |
Propositional calculus,Decision making,Computer algorithms,Algebra, Boolean |
出版、发行地 |
Berlin ;,New York : |
出版、发行者名称 |
Springer, |
出版、发行日期 |
c2008. |
页数 |
x, 304, [1] p. : |
分类号 |
TP3/L471/2008/V.4996/Y |
分类 |
数理科学和化学
|
内容提要 |
|
馆藏地点 |
总馆理科外文阅览 |
|