张蔼珠, 陈思为, 著
出版社：复旦大学出版社
年代：2004
定价：28.0
本书主要介绍半符号化推理演绎体系的基本理论及其应用。
该资源已有网友提供分享链接并报价5元,微信扫描添加好友获取
半符号逻辑是复旦大学出版社于2004.出版的中图分类号为 O141 的主题关于 数理逻辑 的书籍。
(美) 安格勒 (Agler,D.W.) , 著
徐明, 编
张兴元, 王元元, 宋丽华, 编著
李未, 著
吴顺子, 著
张再跃, 张晓如, 编著
冯琦, 编著
朱梧槚, 肖奚安, 编著