Nantilus
Propriétés récursives des structures énumérées
| 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 |
Bib. CRDM (Mathématiques)
| | Cote | Prêt | Statut | |
|---|---|---|---|---|
| Bibliothèque | 03C57 | Prêt sans prolongation | Disponible | |
| Prêt sous conditions | ||||