节点文献

自动推理:它的内容、方法和意义

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 费定舟；

【机构】 中山大学逻辑与认知研究所；

【摘要】 本文介绍自动推理研究的由来和主要内容,同时也概述了该领域对其它研究所具有的意义。

【关键词】 自动推理； 定理机器证明； 非单调推理； 概率推理；
  • 【会议录名称】 2001年逻辑研究专辑
  • 【会议时间】2001
  • 【分类号】B812
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)