-
- 吳文?。航|方數(shù)學(xué)的新天地需要你我的努力
-
【吳文?。航|方數(shù)學(xué)的新天地需要你我的努力】吳提出的用計算機(jī)證明幾何定理的方法，改變了國際上自動推理研究的面貌，被稱為自動推論領(lǐng)域的先驅(qū)性工作，并因此獲得Herbrand自動推論杰出成就獎。吳文俊人工智能科學(xué)技術(shù)獎是我國智能科學(xué)技術(shù)領(lǐng)域
2016-09-01 18:07:39
