Étude critique d'un outil d'aide à la dérivation automatique de procédures PROLOG

  • Benoît Guebel

Student thesis: Master typesMaster in Computer science

Date of Award1992
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

'