西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:58

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

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架