Définition et évaluation d'une machine abstraite parallèle pour un modèle OU-parallèle multi-séquentiel de PROLOG

par Abdelhafid Bourzoufi

Thèse de doctorat en Informatique

Sous la direction de Bernard Toursel.

Soutenue en 1992

à Lille 1 .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (195 p.)
  • Annexes : Bibliogr. p. 190-195

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lille. Service commun de la documentation. Lilliad Learning Center Innovation.
  • Disponible pour le PEB
  • Cote : 50376-1992-47

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1992-BOU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.