000 | 00800nam a2200229Ia 4500 | ||
---|---|---|---|
008 | 191130s2001##################000#0#eng## | ||
020 | _a9780262182188 | ||
022 | _a2001030522 | ||
040 |
_aACL _cACL |
||
082 | _a006.332 REI | ||
100 | _aReiter, Raymond | ||
245 |
_aKnowledge in action : logical foundations for specifying and implementing dynamical systems _cRaymond Reiter |
||
260 |
_aCambridge, MA _bMIT Press _cc2001 |
||
300 | _axvi, 424 p. : ill. ; 24 cm | ||
500 | _aIncludes bibliographical references (p. [409]-418) and index | ||
650 | _aExpert systems (Computer science) | ||
650 | _aKnowledge representation (Information theory) | ||
650 | _aLogic, Symbolic and mathematical | ||
990 | _abdb87a35ac10000c3a54ba5f2f6203c7 | ||
991 | _a113212 | ||
999 |
_c226952 _d226952 |