CADE ATP System Competition

The CADE ATP System Competition (CASC) is an annual competition of fully automated theorem provers for classical logic

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.