MARC状态:审校 文献类型:中文图书 浏览次数:55
- 题名/责任者:
- 广义模态逻辑及其应用/何向东 ... [等] 著
- 出版发行项:
- 北京:人民出版社,2005
- ISBN及定价:
- 7-01-005322-7/CNY25.00
- 载体形态项:
- 401页:图;21cm
- 个人责任者:
- 何向东 著
- 学科主题:
- 模态逻辑-应用-研究
- 学科主题:
- 模态逻辑-应用-机器语言
- 中图法分类号:
- B815.1
- 中图法分类号:
- H087
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书是国家社科基金研究项目,从真值模态逻辑、认知逻辑、规范逻辑、时间逻辑、命令逻辑、模态逻辑与自然语言、模态逻辑与计算机科学、模态逻辑与理学和工学、模态逻辑与教育科学以及新型计算语言10个方面对模态逻辑主要分支的基本内容及其应用作了比较全面、系统的介绍。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
B815.1/H875 | 000658147 | - | 社会科学书库 | 可借 | 不定馆藏地 |
B815.1/H875 | 000658148 | - | 社会科学书库 | 可借 | |
B815.1/H875 | 000658149 | - | 社会科学书库 | 可借 |
显示全部馆藏信息