语义归结
(计算机科学技术)
语义归结(semantic resolution),计算机科学技术名词,一种归结策略。由斯莱格尔(Slagle)提出,通过把超归结、支架集归结和梅尔策(Meltzer)的可换名归结等原理组合而成。
加载更多
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》