广州大学学报:综合版2001，Vol.15Issue(2) ：7-10,45.

计算机与智力:推理过程的机械化

Computer and Intelligence: Mechanization of Reasoning

杨路
广州大学学报:综合版2001，Vol.15Issue(2) ：7-10,45.
✕
  • NETL
  • NSTL
  • 万方数据

计算机与智力:推理过程的机械化

Computer and Intelligence: Mechanization of Reasoning

杨路1
扫码查看

作者信息

  • 1. 广州大学,计算机教育软件研究所,广东,广州,510405
  • 折叠

摘要

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题.

关键词

图灵测试/自动推理/定理机器证明/可读证明/数学机械化

引用本文复制引用

基金项目

国家重点基础研究发展计划(973计划)(G1998030602)

出版年

2001
广州大学学报:综合版
广州大学

广州大学学报:综合版

ISSN：1008-9861
参考文献量2
段落导航相关论文