Harland, J. A., Pym, D. J., & Winikoff, M. (2000). Forward and Backward Chaining in Linear Logic (Extended Abstract). Electronic notes in theoretical computer science, 37, 1-16. https://doi.org/10.1016/S1571-0661(05)01136-9
Citace podle Chicago (17th ed.)Harland, James A., David J. Pym, a Michael Winikoff. "Forward and Backward Chaining in Linear Logic (Extended Abstract)." Electronic Notes in Theoretical Computer Science 37 (2000): 1-16. https://doi.org/10.1016/S1571-0661(05)01136-9.
Citace podle MLA (9th ed.)Harland, James A., et al. "Forward and Backward Chaining in Linear Logic (Extended Abstract)." Electronic Notes in Theoretical Computer Science, vol. 37, 2000, pp. 1-16, https://doi.org/10.1016/S1571-0661(05)01136-9.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..