|
 |
Doctorant
Université Joseph Fourier
Intelligence Artificielle et Systèmes d'Inférence
Tel : 0172925993
Fax :
Bureau :
Page personnelle :
Courrier électronique : giahien@lri.fr |
Activités de recherche
- Démonstration automatique
Logiciels et brevets
- SomeWhere+ : Calcul paraconsistant de conséquents en mode pair à pair
Thèses et habilitations
Thèse en cours - NGUYEN.01-10-2005
Thèse en cours -
Participations à des contrats
- MEDIAD
|
