mechanical theorem proving

英 文 mechanical theorem proving

中 文 機械式定理證明

出 處 電子計算機名詞

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

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

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

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

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

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

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

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

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

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

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

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

Mechanical Advantage of Lever 槓桿機械效益 【舞蹈辭典】

Photo Mechanical Transfer，簡稱 PMT 攝影轉印法 【圖書館學與資訊科學大辭典】

Lambert's theorem (celestial mechanics) 蘭伯特定理（天體力學） 【測繪學辭典】

theorem of rotation 旋轉定律 【測繪學辭典】

Euler's theorem 歐拉定理 【測繪學辭典】

optical-mechanical scan 光學機械掃描 【測繪學辭典】

optical-mechanical rectification 光學機械糾正 【測繪學辭典】

optical-mechanical projection stereoplotter 光學機械投影立體測圖儀 【測繪學辭典】