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…
3.

図書
図書
3. Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California
edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research
出版情報: San Mateo, Calif. : Morgan Kaufmann, c1990
シリーズ名: The Morgan Kaufmann series in representation and reasoning
所蔵情報: loading…