The CADE-26 automated theorem proving system competition - CASC-26.
Saved in:
| Title: | The CADE-26 automated theorem proving system competition - CASC-26. |
|---|---|
| Authors: | Sutcliffe, Geoff1, geoff@cs.miami.edu |
| Source: | AI Communications; 2017, Vol. 30 Issue 6, p419-432, 14p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
