Title: Epistemic logic for AI and computer science
First published: 1995
Subjects: Artificial intelligence, Computer science, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76 .M495 1995