Back to Results
First PageMeta Content
Theoretical computer science / CADE ATP System Competition / Vampire / E theorem prover / CASC / Automated reasoning / Mathematical logic / Mathematical proof / Theorem / Logic / Mathematics / Automated theorem proving


Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract
Add to Reading List

Document Date: 2014-11-26 09:16:24


Open Document

File Size: 667,85 KB

Share Result on Facebook
UPDATE