试题详情
简答题用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
  • 删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略

  • 关注下方微信公众号，在线模考后查看

热门试题