theorem proving system

英 文 theorem proving system

中 文 定理証明系統

出 處 電子計算機名詞

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

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

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

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

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

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

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

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

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

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

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

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

System Control, Inc. System Control公司 【圖書館學與資訊科學大辭典】

System R System R資料庫系統 【電子計算機名詞】

System 7 System 7 作業系統（Mac） 【電子計算機名詞】

Exner system 艾森諾計分系統｛亦稱Exner Comprehensive system，註：羅夏克墨漬投射測驗的一種計分系統｝ 【心理學名詞】

Exner Comprehensive system 理解系統｛亦稱Exner system，註：羅夏克墨漬投射測驗的一種計分系統｝ 【心理學名詞】

boost-buck response 增減壓響應（勵磁控制系統的）(of excitation control system) 【電力工程】

Chivalric Educational System 騎士教育制度 【教育大辭書】

Dual System Theory 雙軌系統論 【教育大辭書】