Détail d'une fiche   Version PDF

DEDUCTEAM (SR0479ER)

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

Présentation


Axes de recherche


Relations industrielles et internationales