Conférence

Keynote Speech - Richard Waldinger

le 9 novembre 2022
à 14h
Automating the Deductive Synthesis of the Unification Algorithm

Localisation

Saint-Martin-d'Hères - Domaine universitaire
Amphithéatre Weil
Mis à jour le 13 octobre 2022