归结

• 

  基于格值逻辑的语义归结自动推理

  查看PDF目录购买本书

  张家锋著2017 年出版175 页ISBN：9787564357351

  基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...

• 

  数理逻辑引论与归结原理

  查看PDF目录购买本书

  王国俊著2003 年出版216 页ISBN：7030115791

  本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

• 

  数理逻辑引论与归结原理

  查看PDF目录购买本书

  王国俊著2006 年出版258 页ISBN：7030165837

  本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

• 

  倒错的归结

  查看PDF目录购买本书

  （日）折原一著；曲扬译2012 年出版441 页

• 

  基于归结方法的自动推理

  查看PDF目录购买本书

  刘叙华著1994 年出版499 页ISBN：7030039270

  中国科学院出版基金资助出版:以归结方法为主线