resolution theorem proving

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

resolution theorem proving汉语翻译

【计】 归结定理证明