非归结定理证明

非归结定理证明是不用归结原理而用自然演绎技术与探试策略等相结合的一种机器定理证明技术。不用归结原理而用自然演绎技术与探试策略等相结合的一种机器定理证明技术。