Détail d'une fiche   Version PDF

REPCO (SR0282FR)

Représentation des connaissances

REPCO →  AIDA (SR0196QR)


Statut: Terminée

Responsable : Philippe Besnard

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul certifié et cryptographie

Période : 01/01/1985 -> 31/12/1997
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria :

Numéro RNSR : 198522092H
N° de structure Inria: SR0282FR

Présentation

Le projet Repco s'est arrêté au 31 décembre 1997.

Les membres de ce projet ont créé le projet AIDA.

Axes de recherche


Relations industrielles et internationales