POZZATO G.L. - INdAM-GNCS 2019 “METALLIC #2: METodi di prova per il ragionamento Automatico per Logiche non-cLassIChe #2”

Progetto

Dati Generali

Partecipanti

POZZATO Gian Luca   Responsabile scientifico  

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