聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 若干逻辑自动推理方法研究
摘要:自动定理证明(Automated Theorem Proving)或者机器定理证明(MechanicalTheorem Proving)是通过计算机实现... 显示全部
关键词: 定理证明 自动推理 子句搜索方法 一阶逻辑 格值逻辑 方法 试探方法 自然推理方法 可读证明
学位论文 自动推理中几何信息的压缩及表达式推理
摘要:几何定理机器证明的研究在最近20年来取得了一系列令人瞩目的成果,特别是计算机自动推理可读证明的突破,使... 显示全部
关键词: 自动推理 可读证明 信息的压缩 表达式
找到2条结果
`