theorem proving by resolution refutation

英 文 theorem proving by resolution refutation

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

出 處 電子計算機名詞

theorem proving by resolution refutation 按分解律反演的定理証明 【電子計算機名詞】

theorem proving by resolution 按分解律的定理証明 【電子計算機名詞】

theorem proving by rule based system 基于規則系統的定理証明 【電子計算機名詞】

theorem proving use of resolution 使用分解律的定理証明 【電子計算機名詞】

mechanical theorem proving 機械式定理證明 【資訊與通信術語辭典】

resolution-refutation graph 分解反駁圖 【資訊與通信術語辭典】

automatic theorem proving 自動定理證明 【電子計算機名詞】

mechanical theorem proving 機械式定理證明 【電子計算機名詞】

resolution-refutation graph 分解反駁圖 【電子計算機名詞】

theorem proving system 定理証明系統 【電子計算機名詞】

theorem proving machine 定理証明機 【電子計算機名詞】

theorem proving for robot problem solving 機器人問題求解定理証明 【電子計算機名詞】

theorem proving 定理證明 【電子計算機名詞】

Theorem proving 定理證明 【兩岸對照名詞-機械】

FTP by mail FTP by mail服務 【電子計算機名詞】

step-by-step method step-by-step method 逐步法 【管理學名詞-會計學】

BY Dra [variable] star 天龍[座]BY型[變]星 【地球科學名詞-天文】

counting by steps multiplication theorem 計數步驟乘法定理 【兩岸對照名詞-數學】

Growth by Guidance 導其生長 【教育大辭書】

Management by Wandering Around 走動式管理 【教育大辭書】