Automatisation de la normalisation à la Birkhoff

  • Frédéric LAURENT

    Student thesis: Master typesMaster in Mathematics

    Date of Award1991
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorJacques HENRARD (Supervisor)

    Cite this

    '