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