晚安
-
- 吴文俊：建立东方数学的新天地需要你我的努力
-
【吴文俊：建立东方数学的新天地需要你我的努力】吴提出的用计算机证明几何定理的方法，改变了国际上自动推理研究的面貌，被称为自动推论领域的先驱性工作，并因此获得Herbrand自动推论杰出成就奖。吴文俊人工智能科学技术奖是我国智能科学技术领域
2016-09-01 18:07:39
