A Logic for Reasoning about Explicit Knowledge in Finite Agents (Abstract)
3
0
0
Fulltekst
RELATERTE DOKUMENTER