Définition d'un sous-ensemble du langage Prolog.
: Proposition d'une méthode de démonstration de programmes applicable à ce sous-ensemble

  • Marc Derroitte

Student thesis: Master typesMaster in Computer science

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

Cite this

'