The CADE-25 Automated Theorem Proving system competition – CASC-25
Sutcliffe, Geoff, Urban, JosefVolume:
29
Language:
english
Journal:
AI Communications
DOI:
10.3233/aic-150691
Date:
April, 2016
File:
PDF, 119 KB
english, 2016