叠加演算
(计算机科学技术名词)
叠加演算(superposition calculus)是2018年公布的计算机科学技术名词,出自《计算机科学技术名词 》第三版。对含等词的一阶逻辑进行定理证明的一种方法,是归结方法和基于序的等词处理方法的结合。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】