...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >The 5th IJCAR automated theorem proving system competition - CASC-J5
【24h】

The 5th IJCAR automated theorem proving system competition - CASC-J5

机译：第五届IJCAR自动定理证明系统竞赛-CASC-J5

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J5 was the fifteenth competition in the CASC series. Thirty-nine ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.
机译：CADE ATP系统竞赛（CASC）是对全自动经典逻辑自动定理证明（ATP）系统的年度评估。 CASC-J5是CASC系列中的第15场比赛。 39个ATP系统和系统变体参加了各个竞赛和演示部门。介绍了比赛设计的大纲和结果的带注释的摘要。

著录项

  • 来源
    《AI communications》 |2011年第1期|p.75-89|共15页
  • 作者

    Geoff Sutcliffe;

  • 作者单位

    Department of Computer Science, University of Miami, Coral Gables, FL, USA;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    automated theorem proving; competition;

    机译：自动定理证明;竞争;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号