检索词: 高小山编订 , 检索到: 5 条结果, 检索时间: 0.079 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

O 数理科学与化学 (5)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		吴文俊全集．数学机械化卷．Ⅱ，Mathematics mechanization．II 订购中 (含光盘) 著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/6002/v4-2 在馆信息图书信息概览试读信息内容简介著者简介
	2.		吴文俊全集．数学机械化卷．Ⅲ，Mathematics mechanization．Ⅲ：数学机械化订购中 (含光盘) 著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/6002/v4-3 在馆信息图书信息概览试读信息内容简介著者简介
	3.		吴文俊全集．数学机械化卷．Ⅴ，Mathematics mechanization．V 订购中 (含光盘) 著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/6002/v4-5 在馆信息图书信息概览试读信息内容简介著者简介
	4.		吴文俊全集．数学机械化卷．Ⅳ，Mathematics mechanization．IV：几何定理机器证明的基本原理订购中 (含光盘) 著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/6002/v4-4 在馆信息图书信息概览试读信息内容简介著者简介
	5.		吴文俊全集．博弈论、代数几何、图的平面嵌入卷．Game theory, algebraic geometry, and planar imbedding of graphs 已借3次. 订购中 (含光盘) 著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/h6002/v1 在馆信息图书信息概览试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved null 关于联系我们帮助