Carneiro, M. (Dec 23, 2024). Reimplementing Mizar in Rust. arXiv.org.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citazione stile Chigago Style (17a edizione)
Carneiro, Mario. "Reimplementing Mizar in Rust."
ArXiv.org Dec 23, 2024.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citatione MLA (9a ed.)
Carneiro, Mario. "Reimplementing Mizar in Rust."
ArXiv.org, Dec 23, 2024.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Attenzione: Queste citazioni potrebbero non essere precise al 100%.