MARC状态:审校 文献类型:中文图书 浏览次数:58
- 题名/责任者:
- 互模拟理论的逻辑研究/姚从军著
- 出版发行项:
- 北京:科学出版社,2016
- ISBN及定价:
- 978-7-03-048620-2/CNY65.00
- 载体形态项:
- 188页:图;24cm
- 个人责任者:
- 姚从军 著
- 学科主题:
- 模态逻辑-研究
- 中图法分类号:
- B815.1
- 书目附注:
- 有书目 (第177-186页)
- 提要文摘附注:
- 本书内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
B815.1/2 | CN1508926 | - | 内阅图书 | 阅览 |
B815.1/2 | CN1508927 | - | 未央馆 | 可借 |
B815.1/2 | CN1508928 | - | 未央馆 | 可借 |
显示全部馆藏信息