检索词: +高小山 , 检索到: 6 条结果, 检索时间: 0.07 秒 , 排序选项: 排序方式: 隐藏分类导航隐藏趋势图

分类导航

O 数理科学与化学 (6)

H 语言、文字 (2)

K 历史、地理 (1)

您是不是想检索:

高小姣王高山高金山高中山高小和高小旺何小山余小山高俊山高小建

保存至书单:

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

	1.	封面仅供参考	吴文俊全集．附卷．Attached volume：回忆与纪念订购中 (含光盘) 著者: 李邦河高小山李文林主编出版社: 龙门书局出版日期: 2019.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览
	2.	封面仅供参考	吴文俊全集．数学机械化卷．II：Mathematics mechanization．II，Mechanical theorem proving in geometries: basic principles 订购中 (含光盘) 著者: 吴文俊著出版社: 龙门书局出版日期: 2019.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览
	3.	封面仅供参考	吴文俊全集．数学机械化卷．Ⅳ，Mathematics mechanization．Ⅳ，几何定理机器证明的基本原理订购中 (含光盘) 著者: 吴文俊著出版社: 龙门书局出版日期: 2019.5 文献类型: 图书 , 索书号: 在馆信息图书信息概览
	4.	封面仅供参考	吴文俊全集．数学机械化卷．V：mathematics mechanization．V 订购中 (含光盘) 著者: 吴文俊著出版社: 科学出版社出版日期: 2019.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览
	5.	封面仅供参考	吴文俊全集．博弈论、代数几何、图的平面嵌入卷．Game theory, algebraic geometry, and planar imbedding of graphs 订购中 (含光盘) 著者: 吴文俊著出版社: 龙门书局出版日期: 2019.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览
	6.	封面仅供参考	吴文俊全集．数学机械化卷．I：mathematics mechanization．I，Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving 订购中 (含光盘) 著者: 吴文俊著出版社: 科学出版社出版日期: 2019.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览

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

© 2005－ www.interlib.com.cn, all rights reserved V3.5.7.20260729