题库网
  • 首页
  • 所有科目
  • 关于本站
  • 账号设置 退出登录
    注册 登录
注意:此页面搜索的是所有试题
题目内容 (信阳师范学院 人工智能)
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式(subsumed)
C.空子句
D.以上都不对

参考答案


随机试卷
漯河职业技术学院教育学(高起专
国家开放大学企业文化
国家开放大学数控机床1
信阳师范学院-经济法
青岛理工大学人力资源管理
安徽科技学院高等数学线
平顶山学院-临床医学(高起专)-中医护理学(高起专)
国家开放大学质量管理
西安交通大学--环境土壤学
兰州大学面向对象程序设计课程作业_A
赣ICP备2023009414号-1