<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-08-02 19:16:33Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-08-02 19:16:33Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic |
Add to Reading List |
Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract