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