LIERLER, Y. (2023). Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. Theory and practice of logic programming, 23(1), 195-225. https://doi.org/10.1017/S1471068421000478
Citace podle Chicago (17th ed.)LIERLER, YULIYA. "Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches." Theory and Practice of Logic Programming 23, no. 1 (2023): 195-225. https://doi.org/10.1017/S1471068421000478.
Citace podle MLA (9th ed.)LIERLER, YULIYA. "Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches." Theory and Practice of Logic Programming, vol. 23, no. 1, 2023, pp. 195-225, https://doi.org/10.1017/S1471068421000478.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..