|
|||||
|
|
The CADE-14 ATP System Competition |
|
| Authors: | Christian Suttner Geoff Sutcliffe |
| Affiliation: | (1) Institut für Informatik, TU München, Munich, Germany;(2) Department of Computer Science, James Cook University, Townsville, Australia |
| Abstract: | This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14). |
| Keywords: | automated theorem proving competition |
| 本文献已被 SpringerLink 等数据库收录！ | |