natural deduction system

英 文 natural deduction system

中 文 自然演繹系統

出 處 電子計算機名詞

相關詞匯

natural deduction system 自然演繹系統 【電子計算機名詞】

rule based deduction system 基於規則演繹系統 【資訊與通信術語辭典】

completeness of deduction system 演譯系統完整性 【資訊與通信術語辭典】

rule-based deduction system 基於規則的演繹系統 【電子計算機名詞】

rule based deduction system 基於規則演繹系統 【電子計算機名詞】

natural language system 自然語言系統 【電子計算機名詞】

natural join system 自然結合系統 【電子計算機名詞】

natural deduction{=ND} 自然演繹 【電子計算機名詞】

deduction system 演繹系統 【電子計算機名詞】

completeness of deduction system 正向演繹的完整性 【電子計算機名詞】

forward rule based deduction system 基於正向規則演繹系統 【電子計算機名詞】

forward deduction system 正向演繹系統 【電子計算機名詞】

natural cooled system 自然冷卻制 【機械工程】

natural resources system 自然資源系統 【地理學名詞-兩岸地理學名詞】

Natural Resources System 原生資源體系 【社會工作與福利名詞】

natural resources system 自然資源系統 【地理學名詞】

System Control, Inc. System Control公司 【圖書館學與資訊科學大辭典】

System R System R資料庫系統 【電子計算機名詞】

System 7 System 7 作業系統(Mac) 【電子計算機名詞】

NATURAL NATURAL 第四代語言 【電子計算機名詞】