7 search results - page 2 / 2 » The IJCAR-2004 Automated Theorem Proving Competition |
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
CADE
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...