Nantilus
Propriétés récursives des structures énumérées
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Propriétés récursives des structures énumérées / Daniel Lacombe |
| Publié : |
[Paris] :
Institut Blaise Pascal
, 1965 |
| Description matérielle : | 165 p. |
| Collection : | Logique à l'usage du calculateur ; 12 |
| Note de thèse : | Thèse : Sciences. Mathématiques : Paris : 1965 |
Table des matières indisponible