Epistemic logic for AI and computer science
J.-J. Ch. Meyer, W. van der Hoek.
Cambridge ; New York : Cambridge University Press, 1995.
xiii, 354 págs. : ilustraciones ; 26 cm.
Serie: Cambridge tracts in theoretical computer science ; 41
ISBN: 052146014X (hardback)
Incluye referencias bibliográficas (p. 331-346) e índice.