问题 填空题

归结法中,可以通过()的方法得到问题的解答

答案

参考答案:修改证明树

单项选择题
填空题