The CADE-26 automated theorem proving system competition - CASC-26.

Saved in:

Bibliographic Details
Title:	The CADE-26 automated theorem proving system competition - CASC-26.
Authors:	Sutcliffe, Geoff¹, geoff@cs.miami.edu
Source:	AI Communications; 2017, Vol. 30 Issue 6, p419-432, 14p
Database:	Applied Science & Technology Source

Description
ISSN:	09217126
DOI:	10.3233/AIC-170744