归结法中,可以通过修改证明树的方法得到问题的解答。() 此题为判断题(对，错)。
归结法中,可以通过修改证明树的方法得到问题的解答。()
此题为判断题(对，错)。
相关考题：
化归方法是指数学家们把待解决的问题，通过某种转化过程，归结到一类（）的问题中，最终获得原问题的解答的一种手段和方法。A可以解决或比较容易解决B具有特定因素C具有普遍特征D已经能解决或者比较容易解决
在程序设计中，如果每次分解得到的更小的问题及其解答相似，就可以用________（函数）来解决问题。