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

Abstract

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

Cite this

Définition d'un sous-ensemble du langage Prolog.: Proposition d'une méthode de démonstration de programmes applicable à ce sous-ensemble
Derroitte, M. (Author). 1986

Student thesis: Master typesMaster in Computer science