close
1.

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

図書
図書
2. Opportunities and constraints of parallel computing (: us ; : gw)
Jorge L.C. Sanz, editor
出版情報: New York ; Tokyo : Springer-Verlag, c1989
所蔵情報: loading…
3.

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