用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

题目

用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

相似考题
相关内容