Base des structures de recherche Inria
Deduction modulo, interopérabilité et démonstration automatique
DEDUCTEAM → DEDUCTEAM (SR0774GR)
Statut:
Terminée
Responsable :
Gilles Dowek
Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" :
Aucun mot-clé.
Mots-clés de "B - Autres sciences et domaines d'application - 2024" :
Aucun mot-clé.
Domaine :
Algorithmique, programmation, logiciels et architectures
Thème :
Preuves et vérification
Période :
01/12/2011 ->
31/12/2016
Dates d'évaluation :
Etablissement(s) de rattachement :
<sans>
Laboratoire(s) partenaire(s) :
<sans UMR>
CRI :
Centre Inria de Saclay
Localisation :
ENS - Cachan
Code structure Inria :
111075-0
Numéro RNSR :
201121007R
N° de structure Inria:
SR0479ER
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr