非归结定理证明

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