L'autore
Agostino
Dovier
Agostino Dovier, nato a Grado, ha conseguito la Laurea in Scienze dell’Informazione all’Università di Udine e il dottorato di ricerca in Informatica all’Università di Pisa. È professore ordinario di Fondamenti dell’informatica all’Università di Udine, dove dal 2016 ricopre il ruolo di coordinatore dei corsi di studio in discipline informatiche. La sua area di ricerca principale è la programmazione logica e a vincoli e le relative ricadute applicative. In questo ambito è stato general chair, program chair, keynote speaker del principale convegno internazionale, presidente dell’associazione italiana dal 2012 al 2018 e curatore del volume A 25 Year Perspective on Logic Programming. Dal 2018 è membro della commissione di abilitazione scientifica nazionale del settore 01/B1 Informatica.
I libri di Agostino Dovier
-
Chiudi scaffale
Fondamenti dell’informatica
A. Dovier
if(!isset($showTxt) || $showTxt == TRUE): ?>Ogni disciplina scientifica si definisce pienamente nel momento in cui viene delimitata da una teoria in grado di evidenziarne…
endif; ?>