Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Paulin-Mohring, Christine (1962-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Extraction de programmes dans le calcul des constructions [Texte imprimé] / Christine Paulin-Mohring...

Publication : [Le Chesnay] : [INRIA, Institut national de recherche en informatique et en automatique], [1989]

Impression : 78-Le Chesnay : Impr. de l'INRIA

Description matérielle : 228 p. ; 30 cm

Note(s) : 1989 d'après la déclaration de dépôt légal. - Bibliogr. p. 226-228. - Résumé en français
Th. univ. : Paris 7Informatique : 1989

Sujet(s) : Langages de programmation  Voir les notices liées en tant que sujet
Mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 2-7261-0571-8 (br.)

Identifiant de la notice  : ark:/12148/cb366348183

Notice n° :  FRBNF36634818