定理証明機

中 文 定理証明機

英 文 theorem proving machine

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
定理証明機 theorem proving machine 【電子計算機名詞】
機器人問題求解定理証明 theorem proving for robot problem solving 【電子計算機名詞】
使用分解律的定理証明 theorem proving use of resolution 【電子計算機名詞】
定理証明系統 theorem proving system 【電子計算機名詞】
基于規則系統的定理証明 theorem proving by rule based system 【電子計算機名詞】
按分解律反演的定理証明 theorem proving by resolution refutation 【電子計算機名詞】
按分解律的定理証明 theorem proving by resolution 【電子計算機名詞】
機械式定理證明 mechanical theorem proving 【資訊與通信術語辭典】
機械式定理證明 mechanical theorem proving 【電子計算機名詞】
自動定理證明 automatic theorem proving 【電子計算機名詞】
定理證明 theorem proving 【電子計算機名詞】
定理證明程式 theorem prover 【電子計算機名詞】
定理證明 Theorem proving 【兩岸對照名詞-機械】
代理證明機構 agency CA 【電子計算機名詞】
明格爾定理 Menger's theorem 【電子計算機名詞】
威爾－明考司基定理 Weyl-Minkowski theorem 【經濟學】
定理機 theorem machine 【電子計算機名詞】
隨機遍歷定理 stochastic ergodic theorem 【數學名詞-兩岸數學名詞 】
隨機遍歷定理 stochastic ergodic theorem 【數學名詞】
Dvoretzky隨機逼近定理 Dvoretzky's stochastic approximation theorem 【統計學名詞】