Epistemic logic for AI and computer science
By: J.-J. Ch. Meyer, W. van der Hoek.
Contributors: Hoek, W. van der
Series: Cambridge tracts in theoretical computer science ;; 41
Publisher: Cambridge University Press
Published: 1995
Place of publication: Cambridge; New York
Language: eng
Number of pages: 354
Subjects: Computer science; Artificial intelligence; Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. 331-346) and index.