Lecture
Keynote Speech - Richard Waldinger
on the 9 November 2022
at 2 p.m
Automating the Deductive Synthesis of the Unification Algorithm
Location
Mis à jour le 13 October 2022