- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn
Conférence
Le 9 novembre 2022
Saint-Martin-d'Hères - Domaine universitaire
Automating the Deductive Synthesis of the Unification Algorithm
Date
Le 9 novembre 2022
Complément date
à 14h
Localisation
Saint-Martin-d'Hères - Domaine universitaire
Complément lieu
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn