- Imprimer
- Partager
- Partager sur Facebook
- Partager sur Twitter
- Partager sur LinkedIn
- Share url
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
- Partager sur Twitter
- Partager sur LinkedIn
- Share url