AAAAAA
Results:
1-8
|
Results: 8
Authors:
G.Sutcliffe,C.B.Suttner
Citation: G.sutcliffe,c.b.suttner, The CADE-15 ATP System Competition, Journal of automated reasoning , 23(1), 1999, pp. 1-23
Authors:
C.Suttner,G.Sutcliffe
Citation: C.suttner,g.sutcliffe, The CADE-14 ATP System Competition, Journal of automated reasoning , 21(1), 1998, pp. 99-134
Authors:
F.J.Pelletier,G.Sutcliffe
Citation: F.j.pelletier,g.sutcliffe, An Erratum for Some Errata to ATP Problems, Journal of automated reasoning , 18(1), 1997, pp. 135-135
Authors:
G.Sutcliffe,C.Suttner
Citation: G.sutcliffe,c.suttner, The CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 137-138
Authors:
G.Sutcliffe,C.Suttner
Citation: G.sutcliffe,c.suttner, The Design of the CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 139-162
Authors:
G.Sutcliffe,C.Suttner
Citation: G.sutcliffe,c.suttner, The Procedures of The CADE-13 ATP System Competition, Journal of automated reasoning , 18(2), 1997, pp. 163-169
Authors:
G.Sutcliffe,C.Suttner
Citation: G.sutcliffe,c.suttner, The TPTP Problem Library-CNF Realease v1.2.1, Journal of automated reasoning , 21(2), 1998, pp. 177-203
Authors:
G.Sutcliffe
Citation: G.sutcliffe, The CADE-16 ATP System Competition, Journal of automated reasoning , 24(3), 2000, pp. 371-396
Risultati:
1-8
|