Carneiro, M. (Dec 23, 2024). Reimplementing Mizar in Rust. arXiv.org.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Carneiro, Mario. "Reimplementing Mizar in Rust."
ArXiv.org Dec 23, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Carneiro, Mario. "Reimplementing Mizar in Rust."
ArXiv.org, Dec 23, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..