底线多数与关键少数

摘要：1994年,16岁的王小川完成了“几何定理机器证明”的课题,这不仅受到了杨振宁的高度赞赏,还吸引了时任国务院副总理的李岚清的注意,李岚清来到王小川身边,问了一个令王小川非常吃惊的问题:“你一分钟能打多少字呀?”

分类：期刊> 自然科学与工程技术> 信息科技> 电子信息科学综合

收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏

关键词：几何定理机器证明 国务院副总理 李岚清 杨振宁 

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社