Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N., & Stark, K. (2024). Taming Differentiable Logics with Coq Formalisation.
Citazione stile Chigago Style (17a edizione)Affeldt, Reynald, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, e Kathrin Stark. Taming Differentiable Logics with Coq Formalisation. 2024.
Citatione MLA (9a ed.)Affeldt, Reynald, et al. Taming Differentiable Logics with Coq Formalisation. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.