Catégories : 1

Voir également : 2

Centre national de recherches de Logique
Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.
Equipe Modèles de Calcul et de Complexité
Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France.
Laboratoire d'algorithmique, complexité et logique
Laboratoire du CNRS au département d'informatique de l'Université Paris 12.
Logique de la Programmation
Équipe de recherche de l'Institut de Mathématiques de Luminy.
Logique mathématique
Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.
Thème Logique
Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théorie des modèles et complexité algébrique, en rapport avec la théorie des groupes et la géométrie.
Équipe de Logique Mathématique
Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.
Équipe de logique mathématique
Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique. Université Paris 7, CNRS - UMR 7056.
Équipe Plume
Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France.

Cette catégorie en d’autres langues : 1

[Newton_Mozilla]
Dernière mise à jour :
août 23, 2014 à 13:35:06 UTC
Sciences
Boutiques en ligne
Société
Sports
Toutes les langues
Arts
Commerce et économie
Informatique
Jeux
Santé
Maison
Actualité
Loisirs
Références
Régional