使用分解律的定理証明
中 文 使用分解律的定理証明
英 文 theorem proving use of resolution
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 使用分解律的定理証明 | theorem proving use of resolution | 【電子計算機名詞】 |
| 按分解律的定理証明 | theorem proving by resolution | 【電子計算機名詞】 |
| 按分解律反演的定理証明 | theorem proving by resolution refutation | 【電子計算機名詞】 |
| 基于規則系統的定理証明 | theorem proving by rule based system | 【電子計算機名詞】 |
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| 定理証明系統 | theorem proving system | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| （細胞受處理分解後的）殘骸 | ghost | 【生物學名詞-植物】 |
| 土地使用分區管制 | zoning | 【測繪學辭典】 |
| 土地使用分區 | land use districts | 【測繪學辭典】 |
| 土地使用分區管制 | Land Use Zoning | 【環境科學大辭典】 |
| 使用註解量 | Quantity in Use Comment | 【電子工程】 |
| 異化代謝物抑制[作用]；分解代謝物抑制[作用] | catabolite repression | 【生命科學名詞】 |
| 使用註解量 | Quantity in Use Comment | 【電子計算機名詞】 |
| 模型交互作用分解 | decomposition of model interaction | 【電子計算機名詞】 |
| 模板定義所使用規約；模板定義使用之規約 | conventions used in template definitions | 【電子計算機名詞】 |
| 分區；土地使用分區 | zoning | 【土木工程名詞】 |
| 成分解析的診斷學 | component-resolved diagnostics | 【醫學名詞-醫事檢驗名詞】 |
| 土地使用分區管制 | zoning ordinance | 【地理學名詞-高中(含)以下地理學名詞】 |
| 連結的；使用連結器的 | accoppiare {It.} | 【音樂名詞】 |