EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE - Meyer,J.-J. Ch.; Van Der Hoek,W. (Cambridge Univ. Press, Cambridge, 1995)
Includes Index
Keywords: Logic, Symbolic And Mathematical; Artificial Intelligence; Computer Science