单元归结
(计算机科学技术)
单元归结(unit resolution),计算机科学技术名词,一种归结策略。如果归结过程中,每次做归结的两个子句中,都有一个是单元(只含一个文字的)子句或单元因子,这种归结的形式称为单元归结。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】