Alessandro Bruni – Publikationer — IT-Universitetet i København

Fastnet72185163
E-mailbrunitudk
Webstedhttp://alessandrobruni.name

Publikationer pr. år

10 Konferencebidrag i proceedings
1 Rapport
1 Paper
1 Konferenceartikel
Mere
- 1 Andet bidrag

1 resultater

Filter

2024
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 mar. 2024.
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

Åben adgang