按分解律反演的定理証明

中 文 按分解律反演的定理証明

英 文 theorem proving by resolution refutation

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
按分解律反演的定理証明 theorem proving by resolution refutation 【電子計算機名詞】
按分解律的定理証明 theorem proving by resolution 【電子計算機名詞】
使用分解律的定理証明 theorem proving use of resolution 【電子計算機名詞】
基于規則系統的定理証明 theorem proving by rule based system 【電子計算機名詞】
機器人問題求解定理証明 theorem proving for robot problem solving 【電子計算機名詞】
定理証明系統 theorem proving system 【電子計算機名詞】
定理証明機 theorem proving machine 【電子計算機名詞】
模型分解（大系統的） model decomposition 【電子計算機名詞】
金屬分解(汞電池的)，剝落物 denuder 【電力工程】
解苷的;分解配糖體的 glucosidolytic 【生物學名詞-植物】
碘解鉻｛一種以碘化物分解法製出的高純鉻｝ iochrome 【材料科學名詞-金屬材料】
反作用定理 reaction theorem 【電子計算機名詞】
分類計數加法定理 classified counting addition theorem 【兩岸對照名詞-數學】
機械式定理證明 mechanical theorem proving 【資訊與通信術語辭典】
自動定理證明 automatic theorem proving 【電子計算機名詞】
機械式定理證明 mechanical theorem proving 【電子計算機名詞】
定理證明 theorem proving 【電子計算機名詞】
定理證明程式 theorem prover 【電子計算機名詞】
定理證明 Theorem proving 【兩岸對照名詞-機械】
1.不穩定的；2.易分解的 labile 【海洋地質學 】