公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
物理化学考研方略 [随书光盘]
推荐 无广告 无套路作者：吕德义...[等]主编ISBN：978-7-5025-9481-7,978-7-900163-89-9主题词：物理化学出版社：化学工业出版社出版时间：2…
格式： 随书光盘 请到详细页访问 来源：国际关系学院
