![](/img/cover-not-exists.png)
The CADE-26 automated theorem proving system competition – CASC-26
Sutcliffe, GeoffVolume:
30
Language:
english
Journal:
AI Communications
DOI:
10.3233/AIC-170744
Date:
December, 2017
File:
PDF, 185 KB
english, 2017