Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
· edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Inteligence and the Office of Naval Research ; in cooperation with Association for Computing Machinery
Bok Engelsk 1986