Etude de la theorie des modeles, de la theorie des ensembles, et des applications a l'informatique. Universite Paris 7, CNRS - UMR 7056.
Recherche etendue sur Equipe de logique mathematique sur Alta
Vista - MSNSearch
- Mondus
- FranceRecherche - 404found
- Yahoo
US - YahooFrance - Merci France
- Voila
|