|
|||||
|
|
| 吴文俊:从寓理于算到机器证明 | |
| 引用本文： | 王渝生.吴文俊:从寓理于算到机器证明[J].科技导报(北京),2008,26(1):96-96. |
| 作者姓名： | 王渝生 |
| 作者单位： | 全国政协 |
| 摘 要： | 从1956年37岁荣获首届国家自然科学一等奖,到2006年87岁荣获邵逸夫国际数学奖,整整半个世纪以来,数学大师吴文俊不知获得过多少国内国际数 |
| 关 键 词： | 吴文俊 机器证明 Proving Machine Computation 国家自然科学一等奖 数学 国际 邵逸夫 首届 |
Wu Wenjun: From Combining Theory and Computation to Machine Proving |
|
| WANG Yusheng.Wu Wenjun: From Combining Theory and Computation to Machine Proving[J].Science & Technology Review,2008,26(1):96-96. | |
| Authors: | WANG Yusheng |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |