Eberl, M., Haslbeck, M. W., & Nipkow, T. (2020). Verified Analysis of Random Binary Tree Structures. Journal of automated reasoning, 64(5), 879-910. https://doi.org/10.1007/s10817-020-09545-0
Citácia podle Chicago (17th ed.)Eberl, Manuel, Max W. Haslbeck, a Tobias Nipkow. "Verified Analysis of Random Binary Tree Structures." Journal of Automated Reasoning 64, no. 5 (2020): 879-910. https://doi.org/10.1007/s10817-020-09545-0.
Citácia podľa MLA (8th ed.)Eberl, Manuel, et al. "Verified Analysis of Random Binary Tree Structures." Journal of Automated Reasoning, vol. 64, no. 5, 2020, pp. 879-910, https://doi.org/10.1007/s10817-020-09545-0.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..