- Présentation
- Publications HAL
Equipe de recherche EURECA
Preuve, calcul symbolique et logique
- Responsable : Pierre Lescanne
- Centre(s) de recherche : Nancy - Grand Est
- Domaine : Génie logiciel et calcul symbolique
- Thème : Algorithmique et calcul formel
L'équipe EURECA
est arrêtée depuis le 31/12/1997
Généalogie
Cette équipe a donné :
Contact
Responsable de l'équipe
Pierre Lescanne
inria
Inria.fr
Inria Channel

Voir aussi