resolution theorem proving中文翻译

resolution theorem proving

中文翻译

归结定理证明

相关单词

resolution
读音：[，rezә'lu:ʃәn]
n.解析，决心，坚定，决定，决议，消除，解答，分解
n.图形分辨率
图形分辨率
拆分；分辨本领；分离度
消散，消退，解析，分辨
决议

theorem
读音：['θiәrәm]
n.定理，原理
定理
定理

proving
验证，证明
药力试验(顺势疗法的名词)