TY - BOOK AU - Meyer,J.-J. Ch. AU - Van Der Hoek,W. TI - EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE SN - 052146014X U1 - 006.3 PY - 1995/// CY - PB - Cambridge Univ. Press, Cambridge KW - Logic, Symbolic And Mathematical KW - Artificial Intelligence KW - Computer Science N1 - Includes Index ER -