Andrea Formisano

Prof. Associato , settore INF/01 - Informatica
Telefono:
+39 075 585 5011
Fax:
+39 075 585 5024
Ubicazione ufficio:
Primo piano
E_mail:
andrea.formisano[@]unipg.it
HomePage:


Didattica e riferimenti di Ateneo
Ricerca
Computational logic, Automated reasoning, Computable set theory, Theorem proving, Knowledge representation and nonmonotonic reasoning, (Constraint) Logic programming, Action languages and planning, GPU-computing,...