代理證明機構
中 文 代理證明機構
英 文 agency CA
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 代理證明機構 | agency CA | 【電子計算機名詞】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
| 公用物件代理請求架構 | common object request broker architecture | 【資訊與通信術語辭典】 |
| 自動定理證明 | automatic theorem proving | 【電子計算機名詞】 |
| 公用物件代理請求架構 | common object request broker architecture{=CORBA} | 【電子計算機名詞】 |
| 公用物件代理請求架構 / 網際網路ORB間協定 | common object request broker architecture/Internet inter-ORB protocol | 【電子計算機名詞】 |
| 定理証明機 | theorem proving machine | 【電子計算機名詞】 |
| 定理證明 | theorem proving | 【電子計算機名詞】 |
| 定理證明程式 | theorem prover | 【電子計算機名詞】 |
| 定理證明 | Theorem proving | 【兩岸對照名詞-機械】 |
| 代理證書 | power of attorney | 【會計學】 |
| 認可之專用營運代理機構；認可之私 | recognized private operation agency | 【電子計算機名詞】 |
| 評估代理機構 | evaluating agency | 【電子計算機名詞】 |
| 州立圖書館推廣服務代理機構 | state library extension agency | 【圖書館學與資訊科學名詞】 |
| 州立圖書館服務代理機構 | state library commission | 【圖書館學與資訊科學名詞】 |
| 州立圖書館服務代理機構 | state library agency | 【圖書館學與資訊科學名詞】 |
| 圖書館服務代理機構 | library commission | 【圖書館學與資訊科學名詞】 |
| 圖書館服務代理機構 | library agency | 【圖書館學與資訊科學名詞】 |
| 通訊社；代理機構；行動力；代理商；能動性 | agency | 【新聞傳播學名詞】 |