Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
☰
Progetti
POZZATO G.L. - INdAM-GNCS 2019 “METALLIC #2: METodi di prova per il ragionamento Automatico per Logiche non-cLassIChe #2”
Progetto
Dati Generali
Dati Generali
Partecipanti
POZZATO Gian Luca
principal investigator
Dipartimenti coinvolti (2)
MATEMATICA "GIUSEPPE PEANO"
Principale
INFORMATICA
Aggregata
Tipo
Altri Progetti di ricerca nazionali con bando competitivo
Finanziatore
ISTITUTO NAZIONALE DI ALTA MATEMATICA FRANCESCO SEVERI
Ente Finanziatore
Partner
Università degli Studi di TORINO
Periodo di attività
(febbraio 26, 2019 - novembre 30, 2020)
Durata progetto
21 mesi