The CADE-27 Automated theorem proving System Competition – CASC-27
The CADE-27 Automated theorem proving System Competition – CASC-27
复制标题
CADE-27 自动定理证明系统竞赛 — CASC-27
DOI：
10.3233/aic-190627
复制
发表时间：
2020
影响因子：
0.8
通讯作者：
Sutcliffe, Geoff
中科院分区：
文献类型：
--
作者：
Sutcliffe, Geoff
