书名
Introduction to mathematics of satisfiability /
作者
Marek, Wiktor.
从编题名
出版、发行地
出版、发行者名称
Boca Raton : CRC Press, c2009.
出版、发行日期
2009
页数
分类号
O141.1/M323/2009/Y
分类
数理科学和化学
内容提要
馆藏地点
总馆理科外文阅览
点击:222次
[
关闭窗口
]