| 000 | 00602nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240614162326.0 | ||
| 008 | 240614b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0121229556 | ||
| 040 | _cMUST | ||
| 082 | _a511.3 BOY 1998 | ||
| 100 |
_aBoyer Robert S., Moore J Strother Moore, _917258 |
||
| 245 | _aA computational Logic Handbook/ | ||
| 250 | _aSecond Edition. | ||
| 260 |
_aNew York: _bAcademic Press, _c1998. |
||
| 300 |
_axxv,518p: _bill.; _c23.4cm. |
||
| 504 | _aIncludes Bibliographical, Appendixes, References and Indexes | ||
| 650 | _aMathematics | ||
| 942 |
_2ddc _cO_SHELF |
||
| 999 |
_c8498 _d8498 |
||