对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页