节点文献

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

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

【作者】 费定舟；

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

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

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