H Schémas de programme récursifs polyadiques
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 38494 | 1011865 | RESERVE [non empruntable] |
Sous-titre : équivalences semantiques et classes d'interpretations
Type de doc : TE
Ville d'édition : Paris
Pays d'édition : fr
Langue ouvrage : fre
Bibliographie : Bibliogr. p. 191-192
Ville de soutenance : Paris 7
Année de soutenance : 1975
Spécialité de la thèse : Math.
Lien SUDOC : https://www.sudoc.fr/022614206