| 000 | 00395pam a2200157a 44500 | ||
|---|---|---|---|
| 008 | 170807b2000 xxu||||| |||| 00| 0 eng d | ||
| 082 | _a006.332/LEV | ||
| 100 | _aLevesque, Hector J | ||
| 245 | _aThe Logic of knowledge bases | ||
| 260 |
_aMassachusetts _bMIT Pr _c2000 |
||
| 300 | _axviii; 282p | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aExpert systems (Computer science) | ||
| 650 | _aKnowledge representation (Information theory) | ||
| 650 | _aComputers, programminmg languages and allied aspects | ||
| 700 | _aLakemeyer Gerhard | ||
| 906 | _a76153 | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c74413 _d74413 |
||