收起
自动定理证明




作者:石纯一
中图分类:数理化 ->数学
学科分类:
出版日期:1989-12-1
主题词:自动推理
分享到:



  
这个是隐藏的空行
内容简介

    本书介绍了一阶谓词逻辑的基本知识,重点讨论了一阶谓词逻辑描述下的自动定理证明方法,并对非归结法、不确定和非单调推理方法作了介绍。
这个是隐藏的空行

最新评论