Normal view MARC view ISBD view

Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé [Texte imprimé] : MLOG une extension de ML / Vincent Poirriez

Auteur principal : Poirriez, Vincent, AuteurPublication :[S.l.], 1991Description : 1 vol. (139 p.) ; 30 cmISBN : 2-7261-0721-4.Classification : F.4.1Thèse : .Sujet : LANGAGE ML ;LANGAGE FONCTIONNEL ;LANGAGE DE PROGRAMMATION LOGIQUE ;Théorie des Types
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-653 Sur demande CRI02019D

Thèse de doctorat informatique PARIS 7 1991

Powered by Koha

//]]>