书籍列表

方程求解与机器证明 基于MMP的问题求解 封面
方程求解与机器证明 基于MMP的问题求解

作者：高小山（等）著
吴文俊全集 数学机械化 1 封面
吴文俊全集 数学机械化 1

作者：吴文俊著；高小山编订
吴文俊全集 数学机械化 3 封面
吴文俊全集 数学机械化 3

作者：吴文俊著；高小山编订
吴文俊全集 数学机械化 5 封面
吴文俊全集 数学机械化 5

作者：吴文俊著；高小山编订
吴文俊全集 数学机械化 2 封面
吴文俊全集 数学机械化 2

作者：吴文俊著；高小山编订
吴文俊全集 数学机械化卷 4 封面
吴文俊全集 数学机械化卷 4

作者：吴文俊著；高小山编订
几何定理机器证明的几何不变量方法 封面
几何定理机器证明的几何不变量方法

作者：张景中，高小山，周咸青著
DELPHI 2005入门与提高 经典清华版 封面
DELPHI 2005入门与提高 经典清华版

作者：吕伟臣，霍言，高小山编著
吴文俊全集 附卷 回忆与纪念 封面
吴文俊全集 附卷 回忆与纪念

作者：李邦河，高小山，李文林主编
电脑操作系统安装和重装入门与提高 封面
电脑操作系统安装和重装入门与提高

作者：高小山，杨秋艳，吕伟臣编著
吴文俊全集 博弈论、代数几何、图的平面嵌入卷 封面
吴文俊全集 博弈论、代数几何、图的平面嵌入卷

作者：吴文俊著；李文林，高小山编订
世界小提琴名家 从帕格尼尼到21世纪 封面
世界小提琴名家 从帕格尼尼到21世纪

作者：（美）亨利·罗思著；顾连理，高小山译
返回首页