Pitoni, V., & Costantini, S. (2019). A Temporal Module for Logical Frameworks. Electronic proceedings in theoretical computer science, 306(Proc. ICLP 2019), 340-346. https://doi.org/10.4204/EPTCS.306.40
Citace podle Chicago (17th ed.)Pitoni, Valentina, a Stefania Costantini. "A Temporal Module for Logical Frameworks." Electronic Proceedings in Theoretical Computer Science 306, no. Proc. ICLP 2019 (2019): 340-346. https://doi.org/10.4204/EPTCS.306.40.
Citace podle MLA (9th ed.)Pitoni, Valentina, a Stefania Costantini. "A Temporal Module for Logical Frameworks." Electronic Proceedings in Theoretical Computer Science, vol. 306, no. Proc. ICLP 2019, 2019, pp. 340-346, https://doi.org/10.4204/EPTCS.306.40.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..