Résultats de la recherche

Créer la page « Théorie des types » sur ce wiki ! Voyez également les résultats de votre recherche.

• TSI (2014) Créhange
  ...ités de Nancy », mai 2003. En particulier : A. Renaud, « Du rayonnement des mathématiques lorraines : J. Legras et l’aventure informatique », pp. 4 ...toire, [[A pour personnalité citée::Claude Pair]], que Nancy a été une des pionnières de l’informatique universitaire. L’informatique nancéienne
  46 Kio (7 410 mots) - 15 juin 2019 à 16:45
• La science informatique en Lorraine (1996) Lescanne
  ..., dans ''Encyclopédie Illustrée de la Lorraine, Histoire des Sciences et des Techniques'', Les Éditions Serpenoise, 1996, 105-116 p.. Au milieu des années 1950 personne ne pouvait prévoir le
  38 Kio (6 288 mots) - 15 juin 2019 à 17:23
• Claude Pair
  ...= 24 juin 1993|consulté le = }}</ref>) et président de la [[Conférence des recteurs français]] (1992-1993). [[Catégorie:Théorie des types]]
  3 Kio (400 mots) - 13 juin 2019 à 11:50