載入...
Introduction to mathematics of satisfiability /
| 主要作者: | |
|---|---|
| 格式: | Printed Book |
| 語言: | English |
| 出版: |
Boca Raton :
CRC Press,
c2009.
|
| 叢編: | Chapman & Hall/CRC studies in informatics series.
|
| 主題: |
University of Calicut
| 索引號: |
511.3 MAR/I |
|---|---|
| 復印件 | Live Status Unavailable |