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

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

la date de réponse1986
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

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. (Auteur). 1986

Thèse de l'étudiant: Master typesMaster en sciences informatiques