叠加演算
2018年公布的计算机科学技术名词
叠加演算（superposition calculus）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。
定义
对含等词的一阶逻辑进行定理证明的一种方法，是归结方法和基于序的等词处理方法的结合。
出处
《计算机科学技术名词 》第三版。
参考资料
叠加演算.术语在线.
最新修订时间：2022-06-28 09:06
条目作者
小编
目录
概述
定义
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1