自然演繹系統

中 文 自然演繹系統

英 文 natural deduction system

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
自然演繹系統 natural deduction system 【電子計算機名詞】
自然語言系統 natural language system 【電子計算機名詞】
自然結合系統 natural join system 【電子計算機名詞】
自然演繹 natural deduction{=ND} 【電子計算機名詞】
自然資源系統 natural resources system 【地理學名詞-兩岸地理學名詞】
自然資源系統 natural resources system 【地理學名詞】
自然科學系統 system of natural science 【管理學名詞】
自然分類系統 natural system 【生物學名詞-植物】
自然演替 natural succession 【生命科學名詞】
自然演化 natural evolution 【設計學】
泛自然音體系 pandiatonicism 【音樂名詞】
自然演替 natural succession 【兩岸對照名詞-植物】
自然演替 natural succession 【生物學名詞-植物-兩岸植物學名詞】
泛自然音體系 pandiatonicism 【音樂名詞-兩岸音樂名詞】
半自然生態系 seminatural ecosystem 【生態學名詞-兩岸生態學名詞】
半自然生態系 seminatural ecosystem 【生態學名詞】
自然演替 natural succession 【生物學名詞-植物】
自然死亡係數;自然死亡率 instantaneous rate of natural mortality 【海事】
基於規則演繹系統 rule based deduction system 【資訊與通信術語辭典】
基於規則的演繹系統 rule-based deduction system 【電子計算機名詞】