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

著者

• Conference on Theoretical Aspects of Reasoning about Knowledge
• Parikh, Rohit
• Almaden Research Center (IBM Research)

書誌事項

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

（The Morgan Kaufmann series in representation and reasoning）

Morgan Kaufmann, c1990

タイトル別名

Reasoning about knowledge

注記

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

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA10293532
• ISBN:
  • 1558601058
• LCCN: 90005435
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: San Mateo, Calif.
• ページ数/冊数: iv, 305 p.
• 大きさ: 28 cm
• 分類:
  • LCC : Q334
  • DC20 : 006.3
• 件名:
  • LCSH : Artificial intelligence -- Congresses
  • LCSH : Knowledge, Theory of -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA05138585