| 000 | 00647nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240624155848.0 | ||
| 008 | 220823b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780134397603 | ||
| 040 | _c | ||
| 082 |
_a005.1 _bKNU / DST |
||
| 100 |
_aKnuth, Donald Ervin _eAuthor |
||
| 245 |
_aThe art of computer programming : _bvolume 4, fascicle 6,. satisfiability |
||
| 260 |
_aBoston : _bAddison-Wesley Professional, _c©2015. |
||
| 300 |
_aviii, 310 p. : _bill. ; _c23 cm (Paperback) |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 653 | _aComputer programming | ||
| 653 | _aComputer algorithms | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c3558 _d3558 |
||