Ciel : Classes et Instances En Logique

par Marcel Gandriau

Thèse de doctorat en Informatique

Sous la direction de Patrick Sallé.

Soutenue en 1988

à Toulouse, INPT .


  • Résumé

    Description de ciel, un langage de programmation logique fortement type a base de classes et d'instances a la facon des langages a objets

  • Titre traduit

    Ciel : Classes and Instances in Logic


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : VI-151 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 133-136

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 88INPT012H/1

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-1988-GAN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.