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. Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
editor, Zbigniew W. Ras
出版情報: New York : North-Holland, c1989
所蔵情報: loading…
4.

図書
図書
4. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings (: gw ; : us)
K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. 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…