PERINI BROGI, COSIMO
PERINI BROGI, COSIMO
100021 - Dipartimento di Matematica
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Investigations of proof theory and automated reasoning for non-classical logics | 12-lug-2022 | PERINI BROGI, Cosimo |