同时,逻辑理论家也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。1956年夏天,数十名来自数学、心理学、神经学、计算机科学与电气工程等各种领域的学者聚集在位于美国新罕布什...
基于22个网页-相关网页
... mechanical theorem proving 机器证明 mechanical tilt 机械倾斜, 机械仰角 mechanical time fuse 钟表引信 ...
基于4个网页-相关网页
mechanical theorem-proving in geometry 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
mechanical geometric theorem proving 几何定理的机器证明
mechanical separator theorem proving 机器证明
theorem mechanical proving 定理机器证明
·2,447,543篇论文数据,部分数据来源于NoteExpress
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究,在理论和实践上都具有重要的意义。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明,在定理机器证明领域占有重要的地位。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上,定理机器证明常常使用某种逻辑表示,然后再进行推理,这些方法往往缺乏灵活性,且证明过程难以理解。
应用推荐