close
1.

図書
図書
1. 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 Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
出版情報: Los Altos, Calif. : M. Kaufmann Publishers, c1986
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California (: pbk)
edited by Moshe Y. Vardi
出版情報: Los Altos, Calif. : Morgan Kaufmann Publishers, c1988
所蔵情報: loading…