定理証明機
中 文 定理証明機
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 定理証明機 | 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 | 【統計學名詞】 |