搜索筛选:
搜索耗时0.0309秒,为你在为你在61,042,061篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：苏贺靓,
来源：辽宁师范大学 年份：2015
几何定理的机器证明是自动推理领域的热门课题之一,尤其是近些年来,研究者在研究几何定理机器证明方面取得了丰硕的成果。吴文俊先生在1997年提出了“吴法”,几何定理机器证...
[期刊论文] 作者：苏贺靓, 江建国, 高华,,
来源：科技视界 年份：2015
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使...
[期刊论文] 作者：高华,江建国,苏贺靓,,
来源：科技视界 年份：2015
语义Tableau是一种具有较强通用性和适用性的推理方法。基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动定理证明器的基础上提出了一些改进,给出了改...
相关搜索：
