| Nome: | Thomas
|
Cognome: | Ehrhard
|
|
| Università: | Université Paris 7 - CNRS Paris
|
Dipartimento: | Equipe Preuves Programmes et Systèmes
|
|
| Inizio: | 08/04/2006
|
Fine: | 26/04/2006
|
|
| Presso: | Università Roma Tre - Dipartimento di Filosofia
|
|||
|
Descrizione
|
||||