共 31 条
[2]
[Anonymous], 1966, Soviet Physics Doklady
[3]
[Anonymous], 1990, LNCS
[4]
[Anonymous], 2015, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015, volume 36 of EPiC Series in Computing, DOI DOI 10.29007/GMS9
[5]
[Anonymous], 2015, EPiC Series in Computing
[8]
Premise Selection and External Provers for HOL4
[J].
CPP'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS,
2015,
:49-57
[9]
Grabowski A, 2010, J FORMALIZ REASON, V3, P153
[10]
Hoder K, 2011, LECT NOTES ARTIF INT, V6803, P299, DOI 10.1007/978-3-642-22438-6_23