| ISBN/价格: | 978-7-03-048620-2:CNY65.00 |
|---|---|
| 作品语种: | chi |
| 出版国别: | CN 110000 |
| 题名责任者项: | 互模拟理论的逻辑研究/.姚从军著 |
| 出版发行项: | 北京:,科学出版社:,2016.07 |
| 载体形态项: | 188页:;+图:;+24cm |
| 一般附注: | 本书为国家社科基金项目“互模拟理论的逻辑研究” (12BZX060) 结项成果 |
| 提要文摘: | 本书的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。 |
| 并列题名: | Studies of the logic of bisimulation eng |
| 题名主题: | 模态逻辑 研究 |
| 索书号: | B815.1/Y57 |
| 中图分类: | B815.1 |
| 个人名称等同: | 姚从军, 著 |
| 记录来源: | CN 人天书店 20160720 |