| 000 | 01311 a2200325 4500 | ||
|---|---|---|---|
| 001 | 63495 | ||
| 999 |
_c63495 _d16513 |
||
| 003 | TR-AnTOB | ||
| 005 | 20200515173613.0 | ||
| 008 | 010305s2001 maua b 001 0 eng | ||
| 010 | _a2001030522 | ||
| 020 | _a0262182181 (hc. : alk. paper) | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aeng | ||
| 042 | _apcc | ||
| 050 | 0 |
_aQ387 _b.R48 2001 |
|
| 090 | _aQ387 .R48 2001 | ||
| 100 |
_aReiter, Raymond _935862 |
||
| 245 | 0 |
_aKnowledge in action : _blogical foundations for specifying and implementing dynamical systems / _cRaymond Reiter. |
|
| 264 | 1 |
_aCambridge, Mass. : _bMIT Press, _cc2001. |
|
| 300 |
_axvi, 424 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. [409]-418) and index. | ||
| 650 |
_aExpert systems (Computer science) _9531 |
||
| 650 |
_aLogic, Symbolic and mathematical _91361 |
||
| 650 |
_aKnowledge representation (Information theory) _930202 |
||
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f20 _gy-gencatlg |
||
| 925 | 0 |
_aacquire _b2 shelf copies _xpolicy default |
|
| 955 |
_ejp14 2001-09-20 to BCCD _fjp43 2001-08-27 to sl |
||
| 942 | _cBK | ||