MARC状态：审校 文献类型：中文图书 浏览次数：25
- 题名/责任者:
- R-演算:一种信念修正的逻辑/李未, 眭跃飞著
- 出版发行项:
- 北京:科学出版社,2021
- ISBN及定价:
- 978-7-03-068583-4 精装/CNY138.00
- 载体形态项:
- 233页;25cm
- 其它题名:
- 一种信念修正的逻辑
- 个人责任者:
- 李未, 1943- 著
- 个人责任者:
- 眭跃飞, 1963- 著
- 学科主题:
- 算子演算
- 中图法分类号:
- O177.6
- 书目附注:
- 有书目和索引
- 提要文摘附注:
- 本书对R-演算作多个视角的扩展，内容涉及命题逻辑的R-演算、描述逻辑的R-演算、命题模态逻辑的R-演算、逻辑程序的R-演算、一阶逻辑的R-演算等。
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O177.6/17 | 01386592 |  总馆
|
可借 | |
| O177.6/17 | 01386593 | 总馆
|
可借 |
显示全部馆藏信息