Guilloud, S., Gambhir, S., Gilot, A., & Kunčak, V. (2024). Mechanized HOL Reasoning in Set Theory.
Style de citation Chicago (17e éd.)Guilloud, Simon, Sankalp Gambhir, Andrea Gilot, et Viktor Kunčak. Mechanized HOL Reasoning in Set Theory. 2024.
Style de citation MLA (9e éd.)Guilloud, Simon, et al. Mechanized HOL Reasoning in Set Theory. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.