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

The CADE-26 automated theorem proving system competition - CASC-26

机译：CADE-26自动定理证明系统竞赛-CASC-26

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

摘要

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

著录项

  • 来源
    《AI communications》 |2017年第6期|419-432|共14页
  • 作者

    Sutcliffe Geoff;

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

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号