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 | Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA AbstractAdd to Reading ListSource URL: www.cs.miami.eduDownload Document from Source WebsiteFile Size: 754,05 KBShare Document on Facebook |