该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
张蔼珠, 陈思为, 著
出版社:复旦大学出版社
年代:2004
定价:28.0
本书主要介绍半符号化推理演绎体系的基本理论及其应用。
半符号逻辑是复旦大学出版社于2004.出版的中图分类号为 O141 的主题关于 数理逻辑 的书籍。
(美) 安格勒 (Agler,D.W.) , 著
徐明, 编
张兴元, 王元元, 宋丽华, 编著
李未, 著
吴顺子, 著
张再跃, 张晓如, 编著
冯琦, 编著
朱梧槚, 肖奚安, 编著