代数拓扑基础

出版社：科学出版社

馆藏单位：复旦大学

出版时间：1992

资源类型：当代图书

标签：代数拓扑;基础;九十年代;专著

群论

作者：

出版社：国防工业出版社

馆藏单位：复旦大学

出版时间：1992.7

资源类型：当代图书

标签：群论;九十年代;专著

拓扑学基础

出版社：河南大学出版社

馆藏单位：复旦大学

出版时间：1992

资源类型：当代图书

标签：拓扑学;基础;河南;九十年代;专著

吴文俊论数学机械化

作者：

出版社：山东教育出版社

馆藏单位：中国科学院国家科学图书馆

出版时间：1996-07

资源类型：当代图书

标签：文俊;数学;机械化;山东;九十年代;专著

几何定理机器证明的基本原理

作者：

出版社：科学出版社

馆藏单位：复旦大学

出版时间：1984.8

资源类型：当代图书

标签：定理机;证明;基本原理;八十年代;专著