Mode de démonstration
Le mode de démonstration vous permet de tester les fonctionnalités de consultation des favoris uniquement.
Il n'est pas possible de modifier les dossiers ou les liens qu'ils contiennent.
Pas de tags
Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.
Pas de commentaire
Nombre de visites: 4 Dernière visite: 2024-01-22
Pas de tags
Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.
Pas de commentaire
Nombre de visites: 4 Dernière visite: 2022-04-10
Pas de tags
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.
Pas de commentaire
Nombre de visites: 5 Dernière visite: 2024-10-20
Pas de tags
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.
Pas de commentaire
Nombre de visites: 4 Dernière visite: 2024-10-17
Pas de tags
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.
Pas de commentaire
Nombre de visites: 5 Dernière visite: 2024-12-16
Pas de tags
Laboratoire du CNRS au département d'informatique de l'Université Paris 12.
Pas de commentaire
Nombre de visites: 3 Dernière visite: 2022-04-10
Pas de tags
Équipe de recherche de l'Institut de Mathématiques de Luminy.
Pas de commentaire
Nombre de visites: 3 Dernière visite: 2022-04-10
Pas de tags
Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.
Pas de commentaire
Nombre de visites: 3 Dernière visite: 2022-04-10
Pas de tags
Équipe de l'institut de Mathématique de l'Université de Mons-Hainaut (Belgique).
Pas de commentaire
Nombre de visites: 3 Dernière visite: 2022-04-10
Pas de tags
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.
Pas de commentaire
Nombre de visites: 4 Dernière visite: 2022-04-10
Les sites proposés dans cette version de démonstration proviennent du répertoire de l'Open Project Directory
Aidez à la réalisation du plus grand répertoire édité par les humains sur l'internet.