单元归结
(计算机科学技术)
单元归结(unit resolution),计算机科学技术名词,一种归结策略。如果归结过程中,每次做归结的两个子句中,都有一个是单元(只含一个文字的)子句或单元因子,这种归结的形式称为单元归结。
加载更多
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》