The IJCAR ATP system competition

被引：6
|
作者：
Sutcliffe, G
Suttner, CB
Pelletier, FJ
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
[2] Cirrus Management, Munich, Germany
[3] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2M7, Canada
来源：
JOURNAL OF AUTOMATED REASONING | 2002年 / 28卷 / 03期
关键词：
competition; automated theorem proving;
D O I：
10.1023/A:1015736313131
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The results of the IJCAR ATP System Competition are presented.
引用
收藏
页码：307 / 320
页数：14
相关论文
共 50 条
12345