Autore:
Ferruccio Guidi
Ferruccio Guidi è nato a Venezia nel 1969. Laureato nel 1998 in Matematica presso l’Università degli Studi di Padova, ha conseguito il Dottorato di Ricerca in Informatica nel 2003 presso l’Università degli Studi di Bologna, dove svolge attualmente attività di ricerca negli ambiti della dimostrazione assistita, della teoria dei tipi e del lambda-calcolo.
intervista all'Autore
I libri che ha pubblicato con BookSprint
Gli E-book che ha pubblicato con BookSprint
* Dati aggiornati in tempo reale
