首页> 外文会议>International conference on automated deduction >The design of the CADE-16 inductive theorem prover contest
【24h】

The design of the CADE-16 inductive theorem prover contest

机译:CADE-16归纳定理箴言比赛的设计

获取原文

摘要

"Progress in science is only achieved through careful analysis of methods and their power. Designing without analysis is idle speculation. Implementation without analysis is tinkering. Alone they have no research value. All too often we read of major pieces of AI work that stop with the engineering steps. But we need to know how the implemented program embodies the designs and that the program works well because of the design." B.G. Buchanan [Bu88]
机译:“科学的进步仅通过仔细分析方法及其权力来实现。无需分析的设计是空闲的猜测。在没有分析的情况下实现正在滋补。单独他们没有研究价值。我们常常读到那些停止的主要作品工程步骤。但我们需要知道实施的程序如何体现设计,并且程序因设计而运作良好。“ B.G. Buchanan [Bu88]

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号