機器證明
中 文 機器證明
英 文 machine proof
出 處 兩岸對照名詞-數學
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 機器證明 | machine proof | 【電子計算機名詞】 |
| 機器證明 | machine proof | 【兩岸對照名詞-數學】 |
| 勞依茲冷凍機器證書 | lloyd's refrigerating machinery certificate {= l.r.m.c.} | 【海事】 |
| 勞依茲船舶機器證書 | lloyd's machinery certificate {= l.m.c.} | 【海事】 |
| 聰明機器 | smart machine | 【資訊與通信術語辭典】 |
| 執行誤差證明的緩衝器 | buffer under run error proof | 【電子計算機名詞】 |
| 聰明機器 | smart machine | 【電子計算機名詞】 |
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| Horn子句證明器 | Horn clause prover | 【電子計算機名詞】 |
| 受損失時間(原因不明的機器損失時間) | debatable time | 【電力工程】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 代理證明機構 | agency CA | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 機械式證明測試 | mechanical proof testing | 【電子計算機名詞】 |
| 驗孔機；驗證器 | verifier | 【電子計算機名詞】 |
| 核對機；驗證器 | verifier | 【機械工程】 |
| 機器船籍證書 | machinery classification certificate | 【機械工程】 |
| 機器船籍證書 | machinery classification certificate | 【造船工程名詞】 |
| 驗孔機；驗證器 | verifier | 【物理化學儀器設備名詞】 |
| 機器完好證書 | machinery certificate | 【海事】 |