« Utilisateur:Lvaux » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
(Aucune différence)
|
Dernière version du 23 septembre 2008 à 11:14
Lionel Vaux, ATER en Informatique à l'UFR SFA de Université de Savoie et membre de l'équipe de logique (LIMD) du LaMa.