书籍列表

吴文俊全集 拓扑学卷 4 封面
吴文俊全集 拓扑学卷 4

作者：吴文俊
世界著名数学家传记 下 封面
世界著名数学家传记 下

作者：吴文俊
高等教育制度经济学分析 封面
高等教育制度经济学分析

作者：吴文俊著
几何定理机器证明的基本原理 初等几何部分 封面
几何定理机器证明的基本原理 初等几何部分

作者：吴文俊著
Menelaus定理 封面
Menelaus定理

作者：吴文俊著
力学在几何中的一些应用 封面
力学在几何中的一些应用

作者：吴文俊著
数学机械化 封面
数学机械化

作者：吴文俊著
力学在几何中的一些应用 封面
力学在几何中的一些应用

作者：吴文俊著
可剖形在欧氏空间中的实现问题 封面
可剖形在欧氏空间中的实现问题

作者：吴文俊著
几何定理机器证明的基本原理 初等几何部分 封面
几何定理机器证明的基本原理 初等几何部分

作者：吴文俊著
吴文俊论数学机械化 封面
吴文俊论数学机械化

作者：吴文俊著
吴文俊文集 封面
吴文俊文集

作者：吴文俊著
返回首页