检索结果相关分组
按文献类别分组
期刊
(27)
学位论文
(3)
按栏目分组
研究文献
(30)
按年份分组
2019
(1)
2018
(6)
2017
(22)
2016
(1)
按来源分组
乐活老年
(3)
山西老年
(3)
中老年保健
(2)
中国老年
(2)
-1
(1)
第二课堂(初中版)
(1)
纳税
(1)
西南科技大学
(1)
经济研究导刊
(1)
经贸实践
(1)
新高考(高一数学)
(1)
南京理工大学
(1)
哈尔滨工业大学
(1)
中国医药指南
(1)
老年人
(1)
老年世界
(1)
现代经济信息
(1)
工业工程与管理
(1)
民族教育研究
(1)
科技经济导刊
(1)
百科知识
(1)
中华儿女
(1)
戏剧之家
(1)
合作经济与科技
(1)
相关搜索词
首页
>
根据【关键词:
数学
】搜索到相关结果
1
条
[0图]
吴文俊 “数学机械化之父”的圆满句号
作者：
余玮
来源：
中华儿女
年份：
2017
文献类型 ：
期刊
关键词：
定理证明
数学机械化
句号
机器证明
吴文俊
描述：
吴文俊 “
数学
机械化之父”的圆满句号
上页
1
下页
Rss订阅
订阅地址：
