自動化證明
中 文 自動化證明
英 文 automated proof
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 自動化證明 | automated proof | 【電子計算機名詞】 |
| 伯明翰圖書館合作自動化計畫（英國） | Birmingham Libraries Cooperative Mechanisation Project, 簡稱BLCMP | 【圖書館學與資訊科學大辭典】 |
| 自動化驗證系統 | automated verification system | 【資訊與通信術語辭典】 |
| 自動化驗證系統 | automated verification system{=AVS} | 【電子計算機名詞】 |
| 自動化程式驗證器 | automated program verifier | 【電子計算機名詞】 |
| 自動化歷程 | Automatic Processes | 【教育大辭書】 |
| 自動化思考 | Automatic Thoughts | 【教育大辭書】 |
| 自動化 | Automaticity | 【教育大辭書】 |
| 辦公室自動化 | Office Automation | 【教育大辭書】 |
| 自動化 | automatization | 【教育大辭書】 |
| 自動化分析 | Automatic Analysis | 【圖書館學與資訊科學大辭典】 |
| 自動化流通系統 | Automatic Circulation System | 【圖書館學與資訊科學大辭典】 |
| 自動化採訪系統 | Automatic Acquisition System | 【圖書館學與資訊科學大辭典】 |
| 自動化資訊儲存和檢索系統 | Automatic Information Storage & Retrieval System | 【圖書館學與資訊科學大辭典】 |
| 自動化輔助教學 | Programmed Logic for Automatic Teaching Operation，簡稱 PLATO | 【圖書館學與資訊科學大辭典】 |
| 自動化圖書館與資訊系統 | Automated Library and Information System，簡稱 ALIS | 【圖書館學與資訊科學大辭典】 |
| 自動化檢索微縮系統 | Automatically Retrieval Microfilm System，簡稱 ARMS | 【圖書館學與資訊科學大辭典】 |
| 大英圖書館自動化資訊服務 | British Library Automated Information Service，簡稱BLAISE | 【圖書館學與資訊科學大辭典】 |
| ［文獻影像自動化］ | [Document Image Automation] | 【圖書館學與資訊科學大辭典】 |
| 圖書館自動化史 | library automation history | 【圖書館學與資訊科學大辭典】 |
▸ 英文翻譯