| 000 | 00988 a2200325 4500 | ||
|---|---|---|---|
| 001 | 12007 | ||
| 999 |
_c12007 _d1656 |
||
| 003 | TR-AnTOB | ||
| 005 | 20200513103245.0 | ||
| 008 | 020717s2002 njua b 001 0 eng | ||
| 010 | _a2002284721 | ||
| 015 | _aGBA2-Z6456 | ||
| 020 | _a0130654876 | ||
| 035 | _a(OCoLC)ocm48752656 | ||
| 040 |
_aUKM _cUKM _dTXA _dDLC |
||
| 041 | _aeng | ||
| 042 | _alccopycat | ||
| 050 | 0 |
_aQA267.3 _b.H35 2002 |
|
| 090 | _aQA267.3 .H35 2002 | ||
| 100 |
_aHamburger, Henry, _d1940- _94377 |
||
| 245 | 0 |
_aLogic and language models for computer science / _cHenry Hamburger, Dana Richards. |
|
| 264 | 1 |
_aUpper Saddle River, N.J. : _bPrentice Hall, _cc2002. |
|
| 300 |
_axiv, 341 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. 333-335) and index. | ||
| 650 |
_aArtificial intelligence _91543 |
||
| 650 |
_aDescription logics _94380 |
||
| 650 |
_aFormal languages _94379 |
||
| 700 |
_aRichards, Dana Scott, _d1955- _94378 |
||
| 942 | _cBK | ||