语义归结
(计算机科学技术)
语义归结(semantic resolution),计算机科学技术名词,一种归结策略。由斯莱格尔(Slagle)提出,通过把超归结、支架集归结和梅尔策(Meltzer)的可换名归结等原理组合而成。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】