Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/疊加演算/53357751
疊加演算
鎖定
疊加演算(superposition calculus)是2018年公佈的計算機科學技術名詞,出自《
計算機科學技術名詞
》第三版。
中文名
疊加演算
外文名
superposition calculus
所屬學科
計算機科學技術
公佈時間
2018年
目錄
1
定義
2
出處
疊加演算
定義
對含等詞的一階邏輯進行定理證明的一種方法,是歸結方法和基於序的等詞處理方法的結合。
疊加演算
出處
《計算機科學技術名詞 》第三版。
[1]
參考資料
1.
疊加演算
.術語在線
[引用日期2020-08-24]
圖集
疊加演算的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:5次
歷史版本
最近更新:
D阳光明媚J
(2022-06-28)
1
定義
2
出處
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄