自動定理證明
中 文 自動定理證明
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 自動定理證明 | automatic theorem proving | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 定理證明 | theorem proving | 【電子計算機名詞】 |
| 定理證明程式 | theorem prover | 【電子計算機名詞】 |
| 定理證明 | 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 | 【電子計算機名詞】 |
| 自動定序 | automatic sequencing | 【資訊與通信術語辭典】 |
| 自動代理投標器 | automatic proxy bidder | 【資訊與通信術語辭典】 |
| 自動機理論 | automata theory | 【資訊與通信術語辭典】 |
| 自動機理論 | Automata theory | 【電子工程】 |
| 全自動處理 | full automatic processing | 【電機工程】 |
| 自動同步；自動定時 | self-timing | 【電機工程】 |
| 自動定向的；自動定位的 | self-orientating | 【電機工程】 |