BRUMMAYER, R., & JÄRVISALO, M. (2010). Testing and debugging techniques for answer set solver development. Theory and practice of logic programming, 10(4-6), 741-758. https://doi.org/10.1017/S1471068410000396
Citace podle Chicago (17th ed.)BRUMMAYER, ROBERT, a MATTI JÄRVISALO. "Testing and Debugging Techniques for Answer Set Solver Development." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 741-758. https://doi.org/10.1017/S1471068410000396.
Citace podle MLA (9th ed.)BRUMMAYER, ROBERT, a MATTI JÄRVISALO. "Testing and Debugging Techniques for Answer Set Solver Development." Theory and Practice of Logic Programming, vol. 10, no. 4-6, 2010, pp. 741-758, https://doi.org/10.1017/S1471068410000396.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..