View in EDS HTML Full Text PDF Full Text

The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9.

Saved in:

Bibliographic Details
Title:	The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9.
Authors:	Sutcliffe, Geoff¹, geoff@cs.miami.edu
Source:	AI Communications; 2018, Vol. 31 Issue 6, p495-507, 13p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Be the first to leave a comment!