correctness proving

英 文 correctness proving

中 文 正確性證明

出 處 電子計算機名詞

correctness proving 正確性證明 【電子工程】

correctness proving 正確性證明 【電子計算機名詞】

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

total correctness 完全正確性 【電子工程】

partial correctness 部分正確性 【電子工程】

proof of correctness 正確性之證明 【電子工程】

Eniwetok Proving Ground 恩尼維托克核試場 【電機工程】

plant proving run 電廠試證運轉 【電機工程】

proving time 求證時間 【電機工程】

proving ground 核試場 【電機工程】

brake proving relay{=BPR} 煞車確認繼電器 【電子計算機名詞】

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

air brake governor proving{=ABGP} 煞車驗證調節器 【電子計算機名詞】

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

semantic correctness 語意正確度 【電子計算機名詞】

total correctness 總正確度 【電子計算機名詞】

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

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

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

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