Sciweavers

22 search results - page 1 / 5
» cade 2003
Sort
View
CADE
2003
Springer
14 years 3 months ago
The CADE-19 ATP System Competition
Geoff Sutcliffe, Christian B. Suttner
CADE
2003
Springer
14 years 3 months ago
TRP++2.0: A Temporal Resolution Prover
Ullrich Hustadt, Boris Konev
CADE
2003
Springer
14 years 3 months ago
Monodic Temporal Resolution
Anatoli Degtyarev, Michael Fisher, Boris Konev