Buchberger, B., & Crăciun, A. (2004). Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Electronic notes in theoretical computer science, 93, 24-59. https://doi.org/10.1016/j.entcs.2003.12.027
Citácia podle Chicago (17th ed.)Buchberger, Bruno, a Adrian Crăciun. "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema." Electronic Notes in Theoretical Computer Science 93 (2004): 24-59. https://doi.org/10.1016/j.entcs.2003.12.027.
Citácia podľa MLA (8th ed.)Buchberger, Bruno, a Adrian Crăciun. "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema." Electronic Notes in Theoretical Computer Science, vol. 93, 2004, pp. 24-59, https://doi.org/10.1016/j.entcs.2003.12.027.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..