| 000 | 00559nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9780262122320 _c(hbk) |
||
| 082 |
_223 _a006.332 _bLEV |
||
| 100 | _aLevesque, Hector J. | ||
| 245 | 0 | _aLogic of knowledge bases | |
| 260 |
_aCambridge: _bMIT Press, _c2000 |
||
| 300 |
_axviii, 282 p.; _b: _c24 cm. |
||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aExpert systems (Computer science) | ||
| 650 | _aKnowledge representation (Information theory) | ||
| 700 | _aLakemeyer, Gerhard | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c13864 _d13864 |
||