Ahrendt, W., Beckert, B., Giese, M., & Rümmer, P. (2010). Practical Aspects of Automated Deduction for Program Verification. KI. Künstliche Intelligenz (Oldenbourg), 24(1), 43-49. https://doi.org/10.1007/s13218-010-0001-y
Citácia podle Chicago (17th ed.)Ahrendt, Wolfgang, Bernhard Beckert, Martin Giese, a Philipp Rümmer. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg) 24, no. 1 (2010): 43-49. https://doi.org/10.1007/s13218-010-0001-y.
Citácia podľa MLA (8th ed.)Ahrendt, Wolfgang, et al. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg), vol. 24, no. 1, 2010, pp. 43-49, https://doi.org/10.1007/s13218-010-0001-y.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..