Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

Đã lưu trong:
书目详细资料
企业作者: Conference on the Theoretical Aspects of Reasoning about Knowledge
其他作者: Benthem, Johan Van
格式: Sách giấy
出版: San Francisco, Calif. : Morgan Kaufmann, c2001.
丛编:The Morgan Kaufmann series in representation and reasoning
主题:
标签: 添加标签
没有标签, 成为第一个标记此记录!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt