resolution theorem proving
读音：英 [ˌrezəˈluːʃn ˈθɪərəm ˈpruːvɪŋ]
美[ˌrezəˈluːʃn ˈθiːərəm ˈpruːvɪŋ]
resolution theorem proving 基本解释
[计] 归结定理证明
重点词汇
resolution n. 决心；解决；坚决；分辨率
theorem n. 定理, 原理 [化] 定理
proving [计] 验证, 证明 [医] 药力试验(顺势疗法的名词)
resolution theorem proving是什么意思 resolution theorem proving怎么读 resolution theorem proving中文意思 翻译