000			00608nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0818672005 _c(pbk)
082			_223 _a006.3015 _bBEN
100			_aBender, Edward A.
245		0	_aMathematical methods in artificial intelligence
260			_aCalifornia: _bIEEE Computer Society, _c2000
300			_axx, 636 p.; _bill., index: _c25 cm.
650			_aArtificial intelligence -- Mathematics
650			_aBayesian networks
650			_aExpert systems (Computer science)
650			_aPredicate Logic
650			_aResolution theory
942			_2ddc _cBK
999			_c4199 _d4199