检索词: Mathematics Mathematics-Mechanization , 检索到: 7 条结果, 检索时间: 0.054 秒, 排序选项: 排序方式: Hide chart | Hide chart

分类导航

O 数理科学与化学 (6)

T 工业技术 (1)

您是不是想检索:

Mathematics and Mathematics-Mechanization Mathematics culture in mathematics education Mathematics and human civilizations Mathematical statistics and applications Mathematical statistics and applications / Mathematical optimization Mathematics and its applications Mathematical theory of computation Mathematics its applications Mathematics humanities

保存至书单:

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

	1.		吴文俊全集．数学机械化卷．Ⅰ，Mathematics mechanization．I：Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving 订购中著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/35/2:1 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	2.		复合材料中的数学力学方法订购中著者: 田宗若出版社: 国防工业出版社出版日期: 2004 文献类型: 图书 , 索书号: TB330.1/16 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	3.		应用数学和力学订购中著者: 重庆交通学院出版社: 该刊社出版日期: 1980- 文献类型: 期刊 , 索书号: O1/71.4 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	4.		吴文俊全集．数学机械化卷．Ⅲ，Mathematics mechanization．Ⅲ：数学机械化订购中著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/35/2:3 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	5.		吴文俊全集．数学机械化卷．Ⅱ，Mathematics mechanization．II 订购中著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/35/2:2 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	6.		吴文俊全集．数学机械化卷．Ⅴ，Mathematics mechanization．V 订购中著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/35/2:5 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介
	7.		吴文俊全集．数学机械化卷．Ⅳ，Mathematics mechanization．IV：几何定理机器证明的基本原理订购中著者: 吴文俊出版社: 科学出版社出版日期: 2019 文献类型: 图书 , 索书号: O1-53/35/2:4 在馆信息电子资源图书信息概览图书目录试读信息内容简介著者简介

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

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