複製鏈接
請複製以下鏈接發送給好友

疊加演算

鎖定
疊加演算(superposition calculus)是2018年公佈的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
中文名
疊加演算
外文名
superposition calculus
所屬學科
計算機科學技術
公佈時間
2018年

目錄

疊加演算定義

對含等詞的一階邏輯進行定理證明的一種方法,是歸結方法和基於序的等詞處理方法的結合。

疊加演算出處

《計算機科學技術名詞 》第三版。 [1] 
參考資料