自動化證明

中 文 自動化證明

英 文 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 【圖書館學與資訊科學大辭典】