automated reasoning

英 文 automated reasoning

中 文 自動推理

出 處 電子計算機名詞

automated reasoning 自動推理 【電子計算機名詞】

Inductive Reasoning 歸納推理 【教育大辭書】

Probabilistic Reasoning 機率推理 【教育大辭書】

Arithmetic Reasoning 算術推理 【教育大辭書】

Reasoning Test 推理測驗 【教育大辭書】

Reasoning 推理 【教育大辭書】

Deductive Reasoning 演繹推理 【教育大辭書】

Combinational Logic Reasoning 組合邏輯推理 【教育大辭書】

Transductive Reasoning 直接推理 【教育大辭書】

Hypothetico-Deductive Reasoning 假設演繹推理 【教育大辭書】

Analogical Reasoning 類比推理 【教育大辭書】

Automated Library and Information System，簡稱 ALIS 自動化圖書館與資訊系統 【圖書館學與資訊科學大辭典】

Automated Checking System 自動核對系統 【圖書館學與資訊科學大辭典】

National Central Library Automated Information Service，簡稱 NCLAIS 國立中央圖書館資訊服務系統 【圖書館學與資訊科學大辭典】

Card Automated Reproduction and Distribution System of the Library of Congress，簡稱CARDS, L.C. 國會圖書館自動製卡供銷系統（美國） 【圖書館學與資訊科學大辭典】

British Library Automated Information Service，簡稱BLAISE 大英圖書館自動化資訊服務 【圖書館學與資訊科學大辭典】

Battelle Automated Search Information System，簡稱BASIS 巴特爾自動查詢資訊系統 【圖書館學與資訊科學大辭典】

Tamkang Automated Library Integrated System，簡稱TALIS 淡江大學圖書館自動化系統 【圖書館學與資訊科學大辭典】

automated plotter 自動繪圖機 【測繪學辭典】

automated cartography software 自動製圖軟體 【測繪學辭典】