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