定理證明程式

中 文 定理證明程式

英 文 theorem prover

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
定理證明程式 theorem prover 【電子計算機名詞】
機械式定理證明 mechanical theorem proving 【資訊與通信術語辭典】
機械式定理證明 mechanical theorem proving 【電子計算機名詞】
自動定理證明 automatic theorem proving 【電子計算機名詞】
定理證明 theorem proving 【電子計算機名詞】
定理證明 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 【電子計算機名詞】
使用者作用常式；特定作用附程式 user action routine 【電子計算機名詞】
交互式資料定義公用程式 interactive data definition utility 【電子計算機名詞】
應用定型；應用程式估算 application sizing 【電子計算機名詞】
行政管理公用程式 administrative utility 【電子計算機名詞】
行政管理電腦程式 administrative computer program 【電子計算機名詞】
應用程式定義公用程式 application definition utility 【電子計算機名詞】
命令定義公用程式 command definition utility 【電子計算機名詞】