归结定理证明
拼音guī jié dìng lǐ zhèng míng
英语翻译
【计】 resolution theorem proving
分词翻译
归的英语翻译：
go back to; return; turn over to结的英语翻译：
congeal; form; knot; settle; vinculum; weave【医】 knob; knot; node; nodule; noduli; nodulus; nodus; noeud
定理证明的英语翻译：
【计】 theorem proving; theoremproving0
纠错
英语造句
最新应用
