| |
129508
|
Infos complémentaires |
| parentName_s |
Centre de Recherche en Informatique de NancyUniversité Henri Poincaré - Nancy 1Université Nancy 2Institut National Polytechnique de Lorraine |
|
DIALOGUE |
DIALOGUE |
researchteam |
Campus scientifique - BP239 - 54506 Vandoeuvre-lès-Nancy |
|
|
|
|
| |
454503
|
Infos complémentaires |
| parentName_s |
INRIA LorraineCentre de Recherche en Informatique de Nancy |
|
Prograis |
Prograis |
researchteam |
|
|
|
|
|
| |
141056
|
Infos complémentaires |
| parentName_s |
INRIA LorraineCentre de Recherche en Informatique de NancyUniversité Henri Poincaré - Nancy 1 |
|
Proof, Symbolic Computation and Logic |
EURECA |
researchteam |
|
|
|
|
|
| |
130529
|
Infos complémentaires |
| parentName_s |
Centre de Recherche en Informatique de Nancy |
|
Reconnaissance des Formes et Intelligence Artificielle |
RFIA |
researchteam |
Campus scientifique - BP239 - 54506 Vandoeuvre-lès-Nancy |
|
|
|
|
