机读格式显示(MARC)

• 000 01085nam0 2200301 450

• 001 0000139375

• 005 20060711170900.0

• 010 __ |a 7-01-005322-7 |d CNY25.00

• 092 __ |b 南大书店06-02-834

• 099 __ |a CAL 012006030012

• 100 __ |a 19980227d2005 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 广义模态逻辑及其应用 |A Guang Yi Mo Tai Luo Ji Ji Qi Ying Yong |f 何向东 ... [等] 著

• 210 __ |a 北京 |c 人民出版社 |d 2005

• 215 __ |a 401页 |c 图 |d 21cm

• 320 __ |a 有书目

• 330 __ |a 本书是国家社科基金研究项目，从真值模态逻辑、认知逻辑、规范逻辑、时间逻辑、命令逻辑、模态逻辑与自然语言、模态逻辑与计算机科学、模态逻辑与理学和工学、模态逻辑与教育科学以及新型计算语言１０个方面对模态逻辑主要分支的基本内容及其应用作了比较全面、系统的介绍。

• 606 0_ |a 模态逻辑 |A Mo Tai Luo Ji |x 应用 |x 研究

• 606 0_ |a 模态逻辑 |x 应用 |y 机器语言

• 690 __ |a B815.1 |v 4

• 690 __ |a H087 |v 4

• 701 _0 |a 何向东 |A He Xiang Dong |4 著

• 801 _0 |a CN |b NUL |c 20060323

• 801 _2 |a CN |b AUSTL |c 20060711

• 905 __ |a AUSTL |d B815.1/H875