Search

Displaying 1 result.
  1. A parser for auto-formalization in education
    By : d'Oultremont, Augustin[UCL] Directed by : Glineur, François[UCL] (2022) Ecole polytechnique de Louvain