Litow, B. (2018). A transfer method from bounded existential Diophantine equations to Tarski algebra formulas. Theoretical computer science, 708, 91-95. https://doi.org/10.1016/j.tcs.2017.10.013
Citace podle Chicago (17th ed.)Litow, B. "A Transfer Method from Bounded Existential Diophantine Equations to Tarski Algebra Formulas." Theoretical Computer Science 708 (2018): 91-95. https://doi.org/10.1016/j.tcs.2017.10.013.
Citace podle MLA (9th ed.)Litow, B. "A Transfer Method from Bounded Existential Diophantine Equations to Tarski Algebra Formulas." Theoretical Computer Science, vol. 708, 2018, pp. 91-95, https://doi.org/10.1016/j.tcs.2017.10.013.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..