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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..