theorem proving by rule based system

英 文 theorem proving by rule based system

中 文 基于規則系統的定理証明

出 處 電子計算機名詞

theorem proving by rule based system 基于規則系統的定理証明 【電子計算機名詞】

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

rule based system 規則為本的系統 【資訊與通信術語辭典】

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

rule based system 規則為本的系統 【電子計算機名詞】

theorem proving by resolution refutation 按分解律反演的定理証明 【電子計算機名詞】

theorem proving by resolution 按分解律的定理証明 【電子計算機名詞】

fuzzy rule based system 乏晰規則為本的系統 【電子計算機名詞】

rule-based system 規則基礎系統 【心理學名詞】

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

rule-based expert system 基於規則的專家系統 【電子計算機名詞】

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

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

theorem proving system 定理証明系統 【電子計算機名詞】

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

mechanical theorem proving 機械式定理證明 【資訊與通信術語辭典】

intelligent knowledge based system 知識庫系統 【資訊與通信術語辭典】

sensor based system 感測器為基系統 【資訊與通信術語辭典】

knowledge based system 知識為本的系統 【資訊與通信術語辭典】

military computer based system 軍用電腦基底系統 【資訊與通信術語辭典】