大拱桥--暨南大学学生门户 » 图书馆 » 演绎推理、三段论推理 » Reasoning about knowledge
名称 Reasoning about knowledge
索引号 B812.23/E991
分类号 B812.23
B812.23(演绎推理、三段论推理)
B812.2(思维形式方法)
B812(形式逻辑(名学、辨学))
B81(逻辑学(论理学))
B(哲学、宗教)
作者
出版社 Cambridge, Mass. : MIT Press, c1995.
ISBN
页数 xiii, 477 p. : ill. ; 24 cm.
价格
标签
简介
注解 Includes bibliographical references (p. 429-448) and indexes.