Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California

Front Cover
Joseph Y. Halpern
M. Kaufmann Publishers, 1986 - Computers - 407 pages
Theoretical Aspects of Reasoning About Knowledge.

From inside the book

Contents

SESSION
4
SESSION
8
Varieties of SelfReference
19
Copyright

22 other sections not shown

Common terms and phrases

Bibliographic information