 |
 |
Annuaire > Mathematiques > Logique et fondements > Centres de recherche
Mots clés populaires dans cette catégorie
 |
Theme de recherche en logique mathematique de l'Institut Camille Jordan (Universite Lyon I): theorie des modeles et complexite algebrique, en rapport avec la theorie des groupes et la geometrie.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes 
Google PR  |
equipe de recherche de l'Institut de Mathematiques de Luminy.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Groupe de recherches a l'institut de mathematiques de l'universite de Freiburg.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Situe au departement d'informatique de l'IUT de Clermont Ferrand, il comporte un theme d'informatique theorique.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Laboratoire du CNRS au departement d'informatique de l'Universite Paris 12.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Etude de la theorie des modeles, de la theorie des ensembles, et des applications a l'informatique. Universite Paris 7, CNRS - UMR 7056.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Recherches en theories des ensembles alternatives, theorie des modeles et informatique theorique, a l'Universite Libre de Bruxelles.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Les differents themes de cette equipe du laboratoire d'informatique de l'ENS Lyon concernent l'etude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR 9. equipe Plume
 |
Cette equipe du laboratoire d'informatique de l'ENS Lyon s'interesse a la preuve formelle et la semantique. Analyse theorique des formalismes et mise en oeuvre de methodes formelles (deduction automatique, specification et verification). Lyon, France.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR  |
Organisation visant a realiser, susciter et coordonner la recherche en logique, tant philosophique que mathematique, dans les differentes institutions universitaires belges.
Categorie : Mathematiques > Logique et fondements > Centres de recherche |
Date Insertion : 30.11.2006 Visites : Note : 0.00 Votes : 0
Note Internautes Google PR