借阅：0人
收藏：0人
互模拟理论的逻辑研究
- 查看机读格式
ISBN/ISSN：978-7-03-048620-2
价格：CNY65.00
出版：北京 科学出版社 ,2016
载体形态：188页 ;24cm
附注：国家社科基金项目“互模拟理论的逻辑研究”结项成果
简介：本书从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。
并列题名：Studies of the logic of bisimulation
中图分类号：B815.1
责任者：姚从军 ((1971~)) 著
-
评分：
-
加入暂存架
豆瓣内容简介：
豆瓣作者简介：
| 分馆名 | 馆藏部门 | 图书条码 | 索书号 | 登录号 | 卷期 | 状态 |
| A | 社科图书借阅空间（长安校区图书馆3楼） | 03564587 | B815.1/1 | 03564587 | 在架可借 | |
| A | 社科图书借阅空间（长安校区图书馆3楼） | 03564588 | B815.1/1 | 03564588 | 在架可借 |
| 序号 | 图书条码 | 索书号 | 登录号 | 藏书部门 | 流通状态 | 年卷期 | 装订册 | 装订方式 | 装订颜色 |
| 类型 | 说明 | URL |
| 评 论 |
评分：
发表
