Yan, S., & Yu, W. (2022, November 25). Formalizing a Continuous Function in Topological Spaces Using Coq. Chinese Automation Congress (Online), 3433-3436. https://doi.org/10.1109/CAC57257.2022.10055803
Citace podle Chicago (17th ed.)Yan, Sheng, a Wensheng Yu. "Formalizing a Continuous Function in Topological Spaces Using Coq." Chinese Automation Congress (Online) 25 Nov. 2022: 3433-3436. https://doi.org/10.1109/CAC57257.2022.10055803.
Citace podle MLA (9th ed.)Yan, Sheng, a Wensheng Yu. "Formalizing a Continuous Function in Topological Spaces Using Coq." Chinese Automation Congress (Online), 25 Nov. 2022, pp. 3433-3436, https://doi.org/10.1109/CAC57257.2022.10055803.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..