Meyer, John-Jules Ch
Epistemic logic for AI and computer science
J.-J. Ch. Meyer, W. van der Hoek
- Cambridge Cambridge University Press 1995
- xiii, 354 p. : ill. ; 26 cm
Includes bibliographical references (p. 331-346) and index
052146014X
95013981
Artificial Intelligence
Computer science
Logic, Symbolic and mathematical
QA76 .M495 1995 006.3/3