分解證明樹
中 文 分解證明樹
出 處 資訊與通信術語辭典
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 分解證明樹 | resolution proof tree | 【資訊與通信術語辭典】 |
| 分解證明樹 | resolution proof tree | 【電子計算機名詞】 |
| 分解證明圖 | resolution proof graph | 【資訊與通信術語辭典】 |
| 分解證明圖 | resolution proof graph | 【電子計算機名詞】 |
| 使用分解律的定理証明 | theorem proving use of resolution | 【電子計算機名詞】 |
| 按分解律反演的定理証明 | theorem proving by resolution refutation | 【電子計算機名詞】 |
| 按分解律的定理証明 | theorem proving by resolution | 【電子計算機名詞】 |
| 零件樹狀之階層分解 | indenture | 【機械工程】 |
| 零件樹狀之階層分解 | indenture | 【航空太空名詞】 |
| 奇異值分解 | singular value decomposition | 【圖書館學與資訊科學大辭典】 |
| 分解時間 | resolving time | 【保健物理辭典】 |
| 能量分解 | energy resolution | 【保健物理辭典】 |
| 線分解力 | linear resolving power | 【測繪學辭典】 |
| 角分解力 | angular resolving power | 【測繪學辭典】 |
| 分解 | resolution | 【力學名詞辭典】 |
| 通量向量分解法 | flux-vector splitting method | 【力學名詞辭典】 |
| 近似因子分解法 | approximate factorization (AF) method | 【力學名詞辭典】 |
| 單分子分解火焰 | unimolecular decomposition flame | 【力學名詞辭典】 |
| 黑姆荷茲分解 | Helmholtz decomposition | 【力學名詞辭典】 |
| 區域分解 | domain decomposition | 【力學名詞辭典】 |