PARTON, MAURIZIO
PARTON, MAURIZIO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
On locally conformally Kähler threefolds with algebraic dimension two
2023 Daniele Angella; Maurizio Parton; Victor Vuletescu
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic
2025 Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton
Rigidity of Oeljeklaus-Toma manifolds
2020 Daniele Angella, Maurizio Parton, Victor Vuletescu
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020
2020 Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On locally conformally Kähler threefolds with algebraic dimension two | 2023 | Daniele Angella; Maurizio Parton; Victor Vuletescu | |
| Recurrent Neural Networks for Guiding Proof Search in Propositional Logic | 2025 | Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton | |
| Rigidity of Oeljeklaus-Toma manifolds | 2020 | Daniele Angella, Maurizio Parton, Victor Vuletescu | |
| Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 | 2020 | Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi |