000			00834nam a2200229 a 4500
001			A30009 17036
003			dti
005			20170506185355.0
008			s1995 000 0 eng
020			_a052146014X
100	1		_aMeyer, J.-J.
245	1	0	_aEpistemic logic for AI and computer science / _cby J.-J. Meyer, W. van der Hoek.
260			_aCambridge, N.Y. : _bCambridge University Press, _c1995.
300			_axiii, 354 p.
440		0	_aTracts in Theoretical Computer Science Ser. ; No. 41.
500			_aIncludes bibliographical references and index.
500			_aContents : Basics : the modal approach to knowledge--Various notions of knowledge and belief.
650		0	_aComputer science.
650		0	_aArtificial intelligence.
650		0	_aLogic, symbolic and mathematical.
700	1		_aDer Hoek, W. van.
999			_c377555 _d377555