定理証明系統
中 文 定理証明系統
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 定理証明系統 | theorem proving system | 【電子計算機名詞】 |
| 基于規則系統的定理証明 | theorem proving by rule based system | 【電子計算機名詞】 |
| 使用分解律的定理証明 | theorem proving use of resolution | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| 機器人問題求解定理証明 | theorem proving for robot problem solving | 【電子計算機名詞】 |
| 按分解律反演的定理証明 | theorem proving by resolution refutation | 【電子計算機名詞】 |
| 按分解律的定理証明 | theorem proving by resolution | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 自動定理證明 | automatic theorem proving | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 定理證明 | theorem proving | 【電子計算機名詞】 |
| 定理證明程式 | theorem prover | 【電子計算機名詞】 |
| 定理證明 | Theorem proving | 【兩岸對照名詞-機械】 |
| 管理資訊系統 | Management Information System, MlS | 【教育大辭書】 |
| 地理資訊系統 | geographic information system (GIS) | 【測繪學辭典】 |
| 管理資訊系統 | Management Information System，簡稱MIS | 【圖書館學與資訊科學大辭典】 |
| 管理作業系統 | management operating system | 【資訊與通信術語辭典】 |
| 定長記錄系統 | fixed length record system | 【資訊與通信術語辭典】 |
| 定位表示系統 | positional representation system | 【資訊與通信術語辭典】 |
| 地理資訊系統 | Geographic Information System | 【環境科學大辭典】 |