问题 填空题

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

答案

参考答案:修改证明树

选择题
多项选择题