书堆儿服务号
书堆儿App

半线性子结构逻辑的标准完备性(英文 )

作者:王三民出版时间:2020/12/1出版社:科学出版社
ISBN:9787030668769价格:¥138
  分享至
内容简介
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论,为初学者尽可能多的提供理论和技术上的细节,使其能尽快进入这一课题的研究工作。特别地,较为详细的介绍了作者在这些方面所做的工作,对IUL完备性的证明进行了详细的论述,并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐