CADE-16 ATP system competition

被引:0
|
作者
机构
[1] Sutcliffe, Geoff
来源
Sutcliffe, Geoff | 1600年 / Kluwer Academic Publishers, Dordrecht, Netherlands卷 / 24期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] The CADE-16 ATP System Competition
    Geoff Sutcliffe
    Journal of Automated Reasoning, 2000, 24 : 371 - 396
  • [2] The CADE-16 ATP System Competition
    Sutcliffe, G
    JOURNAL OF AUTOMATED REASONING, 2000, 24 (03) : 371 - 396
  • [3] The CADE ATP system competition
    Sutcliffe, G
    Suttner, C
    AUTOMATED REASONING, PROCEEDINGS, 2004, 3097 : 490 - 491
  • [4] The CADE ATP System Competition - CASC
    Sutcliffe, Geoff
    AI MAGAZINE, 2016, 37 (02) : 99 - 101
  • [5] The CADE-18 ATP System Competition
    G. Sutcliffe
    C. B. Suttner
    Journal of Automated Reasoning, 2003, 31 : 23 - 32
  • [6] The CADE-17 ATP system competition
    Sutcliffe, G
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (03) : 227 - 250
  • [7] The CADE-14 ATP System Competition
    Christian Suttner
    Geoff Sutcliffe
    Journal of Automated Reasoning, 1998, 21 : 99 - 134
  • [8] The CADE-15 ATP system competition
    Sutcliffe, G
    Suttner, CB
    JOURNAL OF AUTOMATED REASONING, 1999, 23 (01) : 1 - 23
  • [9] The CADE-14 ATP System Competition
    Suttner, C
    Sutcliffe, G
    JOURNAL OF AUTOMATED REASONING, 1998, 21 (01) : 99 - 134
  • [10] The CADE-15 ATP System Competition
    G. Sutcliffe
    C. B. Suttner
    Journal of Automated Reasoning, 1999, 23 : 1 - 23