好站推荐: 找书资源 | 备用域名:zhiso.cc
None
<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
知搜只是起到辅助搜索的工具,不提供任何实际内容,本工具建立是为帮助书籍爱好者花更少的时间找到想要的内容。如果您对内容有异议,请到实际提供内容的网站进行联系。