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, Geoff1, 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.
Description
ISSN:09217126
DOI:10.3233/AIC-180773