EURECA (SR0232CR)

Preuve, calcul symbolique et logique

EURECA →  POLKA (SR0273UR)

Statut: Terminée

Responsable : Pierre Lescanne

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 : Génie logiciel et calcul symbolique
Thème : Algorithmique et calcul formel

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 Lorraine
Localisation : Centre Inria de l'Université de Lorraine
Code structure Inria :

Numéro RNSR : 198522066E
N° de structure Inria: SR0232CR

Présentation

Axes de recherche

Relations industrielles et internationales