Statistical Proof Pattern Recognition: Automated or Interactive?
Statistical Proof Pattern Recognition: Automated or Interactive?
复制标题
统计证明模式识别：自动还是交互式？
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Ekaterina Komendantskaya (Author)
中科院分区：
文献类型：
--
作者：
Ekaterina Komendantskaya (Author)
DOI：
10.1007/s10817-014-9303-3
发表时间：
2014-08-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Kaliszyk, Cezary;Urban, Josef
通讯作者：
Urban, Josef
大理论数学前提选择技术概述与评价
DOI：
--
发表时间：
2012
期刊：
International Joint Conference on Automated Reasoning
影响因子：
--
作者：
D. Kühlwein;T. V. Laarhoven;Evgeni Tsivtsivadze;J. Urban;T. Heskes
通讯作者：
T. Heskes