Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., & Urban, J. (2014). Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. Journal of automated reasoning, 52(2), 191-213. https://doi.org/10.1007/s10817-013-9286-5
Citácia podle Chicago (17th ed.)Alama, Jesse, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, a Josef Urban. "Premise Selection for Mathematics by Corpus Analysis and Kernel Methods." Journal of Automated Reasoning 52, no. 2 (2014): 191-213. https://doi.org/10.1007/s10817-013-9286-5.
Citácia podľa MLA (8th ed.)Alama, Jesse, et al. "Premise Selection for Mathematics by Corpus Analysis and Kernel Methods." Journal of Automated Reasoning, vol. 52, no. 2, 2014, pp. 191-213, https://doi.org/10.1007/s10817-013-9286-5.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..