试题详情
简答题支持集策略对参加归结的子句提出了什么限制?
  • 支持集策略要求在每次归结时,亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。
  • 关注下方微信公众号,在线模考后查看

热门试题