定理機
中 文 定理機
英 文 theorem machine
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 定理機 | theorem machine | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| 隨機遍歷定理 | stochastic ergodic theorem | 【數學名詞-兩岸數學名詞 】 |
| 隨機遍歷定理 | stochastic ergodic theorem | 【數學名詞】 |
| Dvoretzky隨機逼近定理 | Dvoretzky's stochastic approximation theorem | 【統計學名詞】 |
| Dvoretsky隨機逼近定理 | Dvoretsky's stochastic approximation theorem | 【統計學名詞】 |
| 機率的乘法定理 | multiplication theorem of probability | 【統計學名詞】 |
| 總機率定理 | total probability theorem | 【工業工程名詞】 |
| 蘭伯特定理（天體力學） | Lambert's theorem (celestial mechanics) | 【測繪學辭典】 |
| 歐拉定理 | Euler's theorem | 【測繪學辭典】 |
| 留數定理 | residue theorem | 【力學名詞辭典】 |
| 表現定理 | representation theorem | 【力學名詞辭典】 |
| 互換功定理 | reciprocal work theorem | 【力學名詞辭典】 |
| 撓度互換定理 | reciprocal theorem for deflections | 【力學名詞辭典】 |
| 互換變位定理 | reciprocal displacement theorem | 【力學名詞辭典】 |
| 史托克斯定理 | Stokes' theorem | 【力學名詞辭典】 |
| 藍伯特定理 | Lambert theorem | 【力學名詞辭典】 |