非归结定理证明,非归结定理证明,feiguijie dingli zhengming,证明,归结,定理,zhengming,feiguijie,dingli,[拼音]:feiguijie dingli zhengming[外文]:nonresolution theorem proving不用归结原理而用自然演绎技术与探试策略等相结合的一种...