Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Attività
Metodi di prova orientati al ragionamento automatico per logiche non-classiche
Progetto
Dati Generali
Dati Generali
Partecipanti
FIORENTINI CAMILLO
principal investigator
Dipartimenti coinvolti
Dipartimento di Informatica Giovanni Degli Antoni
Principale
Tipo
AL_RIC - Bandi da altri enti di ricerca
Finanziatore (2)
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Organizzazione Esterna
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Ente Finanziatore
Periodo di attività
(febbraio 5, 2018 - febbraio 4, 2019)
Durata progetto
12 mesi