Conférence
Keynote Speech - Richard Waldinger
le 9 novembre 2022
à 14h
Automating the Deductive Synthesis of the Unification Algorithm
Localisation
Mis à jour le 13 octobre 2022