Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00010188
algorithme séquentiel # catégorie fonctionnelle # combinatoire # programmation
68A10
Localisation : Ouvrage RdC (CURI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 301 p.
Cote : 00016864
algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste
[-]
algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...
[+]
03D40 ; 18-06 ; 68-06
Localisation : Collection 1er étage