| 000 |
|
01118nam0 22002531 450 |
| 001 |
|
1000069517 |
| 005 |
|
20180102110626.0 |
| 010 |
__ |
■a978-7-03-048620-2■dCNY65.00 |
| 100 |
__ |
■a20160824d2016 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a互模拟理论的逻辑研究■d= The studies of the logic of bisimulation■f姚从+...... |
| 210 |
__ |
■a北京■c科学出版社■d2016 |
| 215 |
__ |
■a188页■c图■d24cm |
| 300 |
__ |
■a本书为国家社科基金项目“互模拟理论的逻辑研究”(12BZX060)结项成果 |
| 314 |
__ |
■a姚从军, 1971-, 男, 湖北随州人, 南开大学哲学博士, 中国社会科学院博士后。 |
| 320 |
__ |
■a有书目 (第177-186页) |
| 330 |
__ |
■a本书的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术+...... |
| 510 |
1_ |
■aStudies of the logic of bisimulation■zeng |
| 606 |
0_ |
■a模态逻辑■x研究■Amo tai luo ji |
| 690 |
__ |
■aB815.1■v5 |
| 701 |
_0 |
■a姚从军,■f1971-■4著■Ayao cong jun |
| 801 |
|
■aCN■bGSXY■c20180102 |
| 905 |
|
■aGSXY■fB815.1/Y181■g1285112■g1285113■g1285114 |
(共0票)
评价
