按分解律反演的定理証明
中 文 按分解律反演的定理証明
英 文 theorem proving by resolution refutation
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 按分解律反演的定理証明 | theorem proving by resolution refutation | 【電子計算機名詞】 |
| 按分解律的定理証明 | theorem proving by resolution | 【電子計算機名詞】 |
| 使用分解律的定理証明 | theorem proving use of resolution | 【電子計算機名詞】 |
| 基于規則系統的定理証明 | theorem proving by rule based system | 【電子計算機名詞】 |
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| 定理証明系統 | theorem proving system | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| 模型分解（大系統的） | model decomposition | 【電子計算機名詞】 |
| 金屬分解(汞電池的)，剝落物 | denuder | 【電力工程】 |
| 解苷的;分解配糖體的 | glucosidolytic | 【生物學名詞-植物】 |
| 碘解鉻｛一種以碘化物分解法製出的高純鉻｝ | iochrome | 【材料科學名詞-金屬材料】 |
| 反作用定理 | reaction theorem | 【電子計算機名詞】 |
| 分類計數加法定理 | classified counting addition theorem | 【兩岸對照名詞-數學】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 自動定理證明 | automatic theorem proving | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 定理證明 | theorem proving | 【電子計算機名詞】 |
| 定理證明程式 | theorem prover | 【電子計算機名詞】 |
| 定理證明 | Theorem proving | 【兩岸對照名詞-機械】 |
| 1.不穩定的；2.易分解的 | labile | 【海洋地質學 】 |