首页 下载 移动开发 其他 下载详情 论文研究 基于极性的非循环术语集调试 .pdf 上传:Xieminsen 浏览: 12 推荐: 0 文件:PDF 大小:575.81KB 上传时间:2020-07-17 22:57:14 版权申诉 基于极性的非循环术语集调试,雷景佩,欧阳丹彤,不一致术语集调试的核心是找出导致概念不可满足的冲突集,现今已有大量相关算法。本文通过定义公理中概念的极性和极性冲突,用极 立即下载 上传资源 微信扫一扫 用户评论 提交评论