| 000 | 00703 a2200205 4500 | ||
|---|---|---|---|
| 020 | _a9781439801673 | ||
| 020 | _a1439801673 | ||
| 040 | _aDLC | ||
| 082 | _a511.3 | ||
| 100 | _aMarek, W. Viktor | ||
| 245 | 1 | 0 |
_aIntroduction to mathematics of satisfiability _cVictor W. Marek. |
| 260 |
_aBoca Raton : _bCRC Press, _cc2009. |
||
| 300 |
_axiii, 350 p. : _bill. ; _c25 cm. |
||
| 490 | 1 | _aChapman & Hall/CRC studies in informatics series. | |
| 538 | _aSystem requirements: Internet connectivity; World Wide Web browser. | ||
| 650 | 0 | _aPropositional calculus. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 830 | 0 | _aChapman & Hall/CRC studies in informatics series. | |
| 942 |
_cBK _k511.3 MAR _2ddc |
||
| 999 |
_c11014 _d11014 |
||