检索结果相关分组
按文献类别分组
期刊
(1)
按栏目分组
研究文献
(1)
按年份分组
2017
(1)
按来源分组
中华儿女
(1)
相关搜索词
首页
>
根据【关键词:
数学机械化
】搜索到相关结果
1
条
[0图]
吴文俊 “数学机械化之父”的圆满句号
作者：
余玮
来源：
中华儿女
年份：
2017
文献类型 ：
期刊
关键词：
定理证明
数学机械化
句号
机器证明
吴文俊
描述：
吴文俊 “数学机械化之父”的圆满句号
上页
1
下页
Rss订阅
订阅地址：