首页
关于本刊
编委会
期刊导读
期刊订阅
下载中心
视频中心
联系我们
English
期刊简介
收录情况
当期文章
最新录用
过刊浏览
高级检索
纸本订阅
邮件订阅
RSS
医疗机器人技术
软体机器人
空中机器人
机器人
论文与报告
本期目录
|
过刊浏览
|
高级检索
|
定理的机器证明及其实现
李卫华
武汉大学计算机科学系
摘要
图/表
参考文献
相关文章 (0)
全文:
PDF
(1002 KB)
HTML
(
)
输出:
BibTeX
|
EndNote
(RIS)
引用本文:
李卫华. 定理的机器证明及其实现[J]. 机器人, 1981, 3(4): 23-30,58..
摘要
定理的机器证明是人工智能近代主攻的课题之一.早在十六世纪,人类就开始考虑这一问题,但由于历史条件的限制没能付诸实践.从本世纪六十年代以来,随着大型高速计算机的发展,人们继前辈之理论,集众人之精华研究出一个个精致的定理的机器证明方法,从而开创了这一学科的新纪元,为人类智力提供了从前梦想不到的源泉.
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
李卫华
链接本文:
https://robot.sia.cn/CN/
或
https://robot.sia.cn/CN/Y1981/V3/I4/23
没有找到本文相关文献
版权所有 © 2016 中国科学院沈阳自动化研究所
地址: 沈阳市南塔街114号 (110016) 电话: 86-024-23970050,86-024-23970088 E-mail: jqr@sia.cn
本系由
北京玛格泰克科技发展有限公司
设计开发