The 10th IJCAR automated theorem proving system competition – CASC-J10
The 10th IJCAR automated theorem proving system competition – CASC-J10
复制标题
第十届IJCAR自动化定理证明系统大赛—CASC-J10
DOI：
10.3233/aic-201566
复制
发表时间：
2021
影响因子：
0.8
通讯作者：
Sutcliffe, Geoff
中科院分区：
文献类型：
--
作者：
Sutcliffe, Geoff
