| 000 | 01315cam a2200349Ia 4500 | ||
|---|---|---|---|
| 001 | CAH00K10101PDF | ||
| 003 | FlBoTFG | ||
| 005 | 20120525154012.0 | ||
| 006 | a|||||s||||||||||| | ||
| 007 | cr|||| | ||
| 008 | 090423s2009 flua sb 001 0 eng d | ||
| 020 | _a9781439801741 (ebook : PDF) | ||
| 040 |
_aFlBoTFG _cFlBoTFG |
||
| 090 |
_aQA9.3 _b.M37 2009 |
||
| 092 |
_a511.3 _bM323 |
||
| 100 | 1 |
_aMarek, V. W. _q(V. Wiktor), _d1943- |
|
| 245 | 1 | 0 |
_aIntroduction to mathematics of satisfiability _h[electronic resource] / _cVictor W. Marek. |
| 260 |
_aBoca Raton : _bCRC Press, _cc2009. |
||
| 300 |
_axiii, 350 p. : _bill. |
||
| 490 | 1 | _aChapman & Hall/CRC studies in informatics series | |
| 500 | _a"A Chapman & Hall book." | ||
| 504 | _aIncludes bibliographical references (p. 343-346) and index. | ||
| 530 | _aAlso available in print edition. | ||
| 538 | _aMode of access: World Wide Web. | ||
| 650 | 0 | _aPropositional calculus. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 655 | 7 |
_aElectronic books. _2lcsh |
|
| 776 | 1 | _z9781439801673 | |
| 776 | 1 | _z1439801673 | |
| 830 | 0 | _aChapman & Hall/CRC studies in informatics series. | |
| 856 | 4 | 0 |
_uhttp://marc.crcnetbase.com/isbn/9781439801741 _qapplication/PDF _zDistributed by publisher. Purchase or institutional license may be required for access. |
| 999 |
_c332045 _d331981 |
||