機器人問題求解定理証明
中 文 機器人問題求解定理証明
英 文 theorem proving for robot problem solving
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| 正向機器人問題求解 | forward robot problem-solving | 【資訊與通信術語辭典】 |
| 反向機器人問題求解系統 | backward robot problem solving system | 【電子計算機名詞】 |
| 機器人問題求解系統 | robot problem solving system | 【電子計算機名詞】 |
| 正向機器人問題求解 | forward robot problem-solving | 【電子計算機名詞】 |
| 正向機器人問題求解系統 | forward robot problem solving system | 【電子計算機名詞】 |
| 使用分解律的定理証明 | theorem proving use of resolution | 【電子計算機名詞】 |
| 按分解律反演的定理証明 | theorem proving by resolution refutation | 【電子計算機名詞】 |
| 按分解律的定理証明 | theorem proving by resolution | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| 定理証明系統 | theorem proving system | 【電子計算機名詞】 |
| 基于規則系統的定理証明 | theorem proving by rule based system | 【電子計算機名詞】 |
| 分解定理；展開定理 | expansion theorem | 【電機工程】 |
| 鏈分解定理 | chain-decomposition theorem | 【電機工程】 |
| 連鎖分解定理 | chain decomposition theorem | 【電子計算機名詞】 |
| 唯一因式分解定理 | unique factorization theorem | 【電子計算機名詞】 |
| 因式分解定理 | factorization theorem | 【電子計算機名詞】 |
| 團分解定理 | cluster decomposition theorem | 【物理學名詞】 |
| 分解定理，展開定理 | expansion theorem | 【電力工程】 |
| 鏈分解定理 | chain-decomposition theorem | 【電力工程】 |