The 8th IJCAR automated theorem proving system competition – CASC-J8
Sutcliffe, GeoffVolume:
29
Language:
english
Journal:
AI Communications
DOI:
10.3233/AIC-160709
Date:
November, 2016
File:
PDF, 140 KB
english, 2016