Meyer, J-J Ch. van der Hoek, W.
Epistemic Logic for AI and Computer Science - Cambridge Cambridge university press 1995 - 354p - Cambridge Tracts in Theoretical Computer Science, V. 41 .
0 521 46014 X
Epistemic Logic
Computer Science
681.3 MEY
Epistemic Logic for AI and Computer Science - Cambridge Cambridge university press 1995 - 354p - Cambridge Tracts in Theoretical Computer Science, V. 41 .
0 521 46014 X
Epistemic Logic
Computer Science
681.3 MEY