Theorem proving

英 文 Theorem proving

中 文 定理證明

出 處 兩岸對照名詞-機械

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

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

mechanical 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 定理證明 【兩岸對照名詞-機械】

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

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

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

clairaut's theorem 克來勞原理 【測繪學辭典】

residue theorem 留數定理 【力學名詞辭典】

representation theorem 表現定理 【力學名詞辭典】

reciprocal work theorem 互換功定理 【力學名詞辭典】

reciprocal theorem for deflections 撓度互換定理 【力學名詞辭典】