COMINI, M., TITOLO, L., & VILLANUEVA, A. (2014). Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory and practice of logic programming, 14(4-5), 787-801. https://doi.org/10.1017/S1471068414000349
Citace podle Chicago (17th ed.)COMINI, MARCO, LAURA TITOLO, a ALICIA VILLANUEVA. "Abstract Diagnosis for Tccp Using a Linear Temporal Logic." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 787-801. https://doi.org/10.1017/S1471068414000349.
Citace podle MLA (9th ed.)COMINI, MARCO, et al. "Abstract Diagnosis for Tccp Using a Linear Temporal Logic." Theory and Practice of Logic Programming, vol. 14, no. 4-5, 2014, pp. 787-801, https://doi.org/10.1017/S1471068414000349.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..