| 名称 | 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. | |
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 1.584 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号