对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足的

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页