搜索筛选:
搜索耗时3.6517秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：吴店年,
来源：江西师范大学 年份：2014
...
[期刊论文] 作者：吴店年,李云清,,
来源：计算机技术与发展 年份：2014
由于传统的定理机器证明方法是基于规则的,使得定理证明出现几何信息增长迅猛,推理和计算效率低以及过程可读性差等问题。针对以上情况,提出了基于本体和AllegroGraph的几何...
相关搜索：
