Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California

Web Site CiNii 所蔵館 26館

書誌事項

タイトル: "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

出版者

出版年月

タイトル別名

Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge

Includes bibliographical references and index