Interprétation abstraite des programmes Prolog

  • Jacques Gerard

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

Résumé

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

Contient cette citation

'