Mise en oeuvre de prologii/mali

par Serge Le Huitouze

Thèse de doctorat en Informatique

Sous la direction de Daniel Herman.

Soutenue en 1988

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Description de l'implementation d'un interpreteur prolog ii entierement compatible avec l'original de prolog ia. Cet interpreteur utilise la memoire mali, une memoire abstraite dont la semantique est appropriee a l'interpretation des langages logiques qui utilisent une strategie de recherche en profondeur d'abord


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (201 f.)
  • Annexes : 40 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1988/115
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : F 2. LE H.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.