theorem proving use of resolution

英 文 theorem proving use of resolution

中 文 使用分解律的定理証明

出 處 電子計算機名詞

theorem proving use of resolution 使用分解律的定理証明 【電子計算機名詞】

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

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

[Use of Library Materials: The Pittsburgh Library Use Study] 〔匹茲堡大學圖書館資料使用研究〕 【圖書館學與資訊科學大辭典】

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

rational use of drugs 合理用藥 【藥學】

intended use of a machine 機械之預期用途 【電機工程】

estimation of resolution loss 分解度損失估計 【電機工程】

rational use of energy 合理使用能源 【電機工程】

return use of train table 路牌復用 【電機工程】

automatic theorem proving 自動定理證明 【電子計算機名詞】

mechanical theorem proving 機械式定理證明 【電子計算機名詞】

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

theorem proving machine 定理証明機 【電子計算機名詞】

theorem proving for robot problem solving 機器人問題求解定理証明 【電子計算機名詞】

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

theorem proving 定理證明 【電子計算機名詞】

use of operations 操作的使用 【電子計算機名詞】

use of ENTRY attribute ENTRY屬性用法 【電子計算機名詞】

degree of resolution 解析度 【電子計算機名詞】