定理的机器证明及其实现

摘要
图/表
参考文献
相关文章 (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