Hetzl, S., & Wong, T. L. (2017). Some observations on the logical foundations of inductive theorem proving. Logical methods in computer science, 13, Issue 4(Automated deduction), . https://doi.org/10.23638/LMCS-13(4:10)2017
Citace podle Chicago (17th ed.)Hetzl, Stefan, a Tin Lok Wong. "Some Observations on the Logical Foundations of Inductive Theorem Proving." Logical Methods in Computer Science 13, Issue 4, no. Automated deduction (2017). https://doi.org/10.23638/LMCS-13(4:10)2017.
Citace podle MLA (9th ed.)Hetzl, Stefan, a Tin Lok Wong. "Some Observations on the Logical Foundations of Inductive Theorem Proving." Logical Methods in Computer Science, vol. 13, Issue 4, no. Automated deduction, 2017, https://doi.org/10.23638/LMCS-13(4:10)2017.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..