Interprétation abstraite des programmes Prolog

  • Jacques Gerard

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

Résumé

Date de réussite1988
langueFrançais
Institution diplomante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Citer ceci

Interprétation abstraite des programmes Prolog
Gerard, J. (Auteur). 1988

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