按分解律的定理証明

中 文 按分解律的定理証明

英 文 theorem proving by resolution

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
按分解律的定理証明 theorem proving by resolution 【電子計算機名詞】
使用分解律的定理証明 theorem proving use of resolution 【電子計算機名詞】
按分解律反演的定理証明 theorem proving by resolution refutation 【電子計算機名詞】
基于規則系統的定理証明 theorem proving by rule based system 【電子計算機名詞】
機器人問題求解定理証明 theorem proving for robot problem solving 【電子計算機名詞】
定理証明系統 theorem proving system 【電子計算機名詞】
定理証明機 theorem proving machine 【電子計算機名詞】
（細胞受處理分解後的）殘骸 ghost 【生物學名詞-植物】
成分解析的診斷學 component-resolved diagnostics 【醫學名詞-醫事檢驗名詞】
分立間隔定理 discrete interval theorem 【地球科學名詞-天文】
分解肽的 peptidolytic 【生物學名詞-植物】
機械式定理證明 mechanical theorem proving 【資訊與通信術語辭典】
自動定理證明 automatic theorem proving 【電子計算機名詞】
機械式定理證明 mechanical theorem proving 【電子計算機名詞】
定理證明 theorem proving 【電子計算機名詞】
定理證明程式 theorem prover 【電子計算機名詞】
定理證明 Theorem proving 【兩岸對照名詞-機械】
分解定理；展開定理 expansion theorem 【電機工程】
鏈分解定理 chain-decomposition theorem 【電機工程】
連鎖分解定理 chain decomposition theorem 【電子計算機名詞】