Learning to Prove Theorems via Interacting with Proof Assistants
Learning to Prove Theorems via Interacting with Proof Assistants
复制标题
通过与证明助手交互学习证明定理
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Deng, Jia
中科院分区：
文献类型：
--
作者：
Yang, Kaiyu;Deng, Jia
登录
查看更多内容
DOI：
10.1007/978-3-642-45221-5_9
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Benzmüller C
通讯作者：
Benzmüller C
DOI：
--
发表时间：
2017-09
期刊：
ArXiv
影响因子：
--
作者：
Mingzhe Wang;Yihe Tang;Jian Wang;Jia Deng
通讯作者：
Mingzhe Wang;Yihe Tang;Jian Wang;Jia Deng
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
MaLeCoP 机器学习连接证明器
DOI：
10.1007/978-3-642-22119-4_21
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
J. Urban;J. Vyskočil;P. Štěpánek
通讯作者：
P. Štěpánek
DOI：
10.1007/s10817-014-9303-3
发表时间：
2014-08-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Kaliszyk, Cezary;Urban, Josef
通讯作者：
Urban, Josef