theorem proving machine

英 文 theorem proving machine

中 文 定理証明機

出 處 電子計算機名詞

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

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

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

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

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

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

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

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

Proving of Opening of Switch（Point）Machine 查証轉轍器張開狀態 【電子計算機名詞】

Proving of Opening of Switch（Point）Machine 查証轉轍器張開狀態 【機械工程】

Machine Learning 機器學習 【教育大辭書】

Machine Scoring 機器計分 【教育大辭書】

Teaching Machine 教學機 【教育大辭書】

Kurzweil Reading Machine 庫茲威閱讀機 【教育大辭書】

Dry Mounting Machine 乾裱機 【教育大辭書】