automatic theorem proving

英 文 automatic theorem proving

中 文 自動定理證明

出 處 電子計算機名詞

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

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

Automatic Interaction Detection 自動交互偵測 【教育大辭書】

Automatic Processes 自動化歷程 【教育大辭書】

Automatic Thoughts 自動化思考 【教育大辭書】

Multi-Media Automatic Programmer 多媒體自動編輯機 【教育大辭書】

Automatic Documentation Storage and Retrieval System，簡稱 ADSTARS 自動文獻儲存與檢索系統 【圖書館學與資訊科學大辭典】

Automatic Analysis 自動化分析 【圖書館學與資訊科學大辭典】

Automatic Circulation System 自動化流通系統 【圖書館學與資訊科學大辭典】

Automatic Acquisition System 自動化採訪系統 【圖書館學與資訊科學大辭典】