resolution theorem proving
resolution theorem proving是什么意思、resolution theorem proving怎么读
【计】 归结定理证明
resolution theorem proving汉语翻译
【计】 归结定理证明