sei in : home > autori > ferruccio guidi
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


 
 
 
 
Pubblica il Tuo Libro con BookSprintEdizioni
 
Dicono di Noi
 
* Dati aggiornati in tempo reale
 
Comitato di Lettura BookSprintEdizioni