| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
封面仅供参考
半线性子结构逻辑的标准完备性 |
|
|
题名/责任者:
|
半线性子结构逻辑的标准完备性 [ 专著] / 王三民[著] |
|
ISBN:
|
978-7-03-066876-9 价格： CNY138.00 |
|
语种:
|
英语 |
|
载体形态:
|
257页 ; 24cm |
|
出版发行:
|
北京 : 科学出版社, 2020 |
|
内容提要:
|
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难部分给出了实例，这在一般地论文写作是不可能的。 |
|
主题词:
|
半线性 子结构法 英文 |
|
中图分类法
:
|
O241.82 版次： 5 |
|
主要责任者:
|
王三民 著 |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
预约：可预约已外借图书，在馆图书不可预约
>>
HEA| |01285nam0 2200241 450 001| |012022038465 010| |▼a978-7-03-066876-9▼dCNY138.00 039| |▼aA310000SHL▼bUCS01004170671 049| |▼aA310000SHL▼bUCS01010705776 100| |▼a20210903d2020 em y0chiy50 ea 101|0 |▼aeng▼gchi 102| |▼aCN▼b110000 105| |▼ay z 000yy 106| |▼ar 200|1 |▼a半线性子结构逻辑的标准完备性▼9ban xian xin- | |g zi jie gou luo ji de biao zh- | |un wan bei xing▼b专著▼dStandard - | |completeness for semilinear su- | |bstructural logics▼f王三民[著]▼zeng 210| |▼a北京▼c科学出版社▼d2020 215| |▼a257页▼d24cm 330| |▼a本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初- | |学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题- | |的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作- | |，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难- | |部分给出了实例，这在一般地论文写作是不可能的。- 510|1 |▼aStandard completeness for se- | |milinear substructural logics▼zeng 606|0 |▼a半线性▼x子结构法▼j英文 690| |▼aO241.82▼v5 701| 0|▼a王三民▼9wang san min▼4著 801| 0|▼aCN▼bzjlib▼c20220406