VALESE, ALBERTO
VALESE, ALBERTO
Struttura Universitaria Interdipartimentale in Scienze Strategiche (SUISS)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content | 2023 | Lieto A.; Pozzato G.L.; Valese A.; Zito M. | |
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering | 2023 | Gliozzi V.; Pozzato G.L.; Valese A. |