000 00302nam a2200109Ia 4500
008 160523s9999 xx 000 0 und d
020 _a0-262-12232-4
100 _aLevesque, H. J.
245 4 _aThe logic of knowledge bases
260 _aCambridge; Massachusetts
_bMIT Press
_c2000
300 _axviii, 282p.
999 _c27800
_d27800