This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
|Original language||English (US)|
|Number of pages||36|
|Journal||Journal of Automated Reasoning|
|State||Published - 1998|
- Automated theorem proving
ASJC Scopus subject areas
- Artificial Intelligence