En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Curien, P. L. 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
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)

Sélection Signaler une erreur
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

Sélection Signaler une erreur

Filtrer

Type
Auteurs
Langue