Reset Filters
Circulation Type: General loan materials
Filter Related Topics: 数学 AND 数学理论
Filter Related Topics within your search.
2
吴文俊全集 数学机械化卷 Ⅳ Mathematics mechanization Ⅳ 几何定理机器证明的基本原理

Cover is for reference only
Main Authors: 吴文俊 (吴文俊著)
Published: 科学出版社
Publication Dates: 2019
Call Number: O1-53/6802-4#4
Book
Save to List
Saved in:
3
吴文俊全集 数学机械化卷 Ⅲ Mathematics mechanization Ⅲ 数学机械化

Cover is for reference only
Main Authors: 吴文俊 (吴文俊著)
Group Author: 高小山 (编订)
Published: 科学出版社
Publication Dates: 2019
Call Number: O1-53/6802-4#3
Book
Save to List
Saved in:
4
数学的建筑

Cover is for reference only
Main Authors: 法 布尔巴基 Bourbaki, Nicolas ((法)布尔巴基著)
Group Author: 胡作玄 (编译)
Published: 大连理工大学出版社
Publication Dates: 2014
Call Number: O1-06/4227
Book Online Online
Save to List
Saved in:
5
数学的建筑

Cover is for reference only
Corporate Authors: 法 尼古拉·布尔巴基合作者协会
Group Author: 胡作玄 (编译)
Published: 大连理工大学出版社
Publication Dates: 2009
Call Number: O1-06/4620-1
Book
Save to List
Saved in:
6
数学的建筑

Cover is for reference only
Main Authors: (法) 布尔巴基 Bourbaki, Nicolas (著)
Group Author: 胡作玄 1936- (编译)
Published: 大连理工大学出版社
Publication Dates: 2023
Call Number: O1-06/4227-2
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —