包含"机械化"标签的文章
-
中科信息官网首页,中科信息杯比赛
中科信息官网首页,中科信息杯比赛中共中央、国务院印发的《数字中国建设总体布局》中,明确将数字文化作为数字技术深度融合的重点方向。加强生态合作,拥抱数字时代。华为中国行2023成都站走进中科信息活动取得圆满成功。主要研究项目“几何定理机器证明理论与算法新进展”荣获中国科学院自然科学奖一等奖。其成果获1...
共1页 1条
中科信息官网首页,中科信息杯比赛中共中央、国务院印发的《数字中国建设总体布局》中,明确将数字文化作为数字技术深度融合的重点方向。加强生态合作,拥抱数字时代。华为中国行2023成都站走进中科信息活动取得圆满成功。主要研究项目“几何定理机器证明理论与算法新进展”荣获中国科学院自然科学奖一等奖。其成果获1...