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 Robinet, Bernard 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Combinators and functional programming languages :
thirteenth spring school of the lipt held in val d'ajo#May Cousineau, Guy ; Curien, Pierre-Louis ; Robinet, Bernard | Springer-Verlag 1986

Congrès

- 208 p.
Cote : 00013961
calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les mathématiques de l'informatique.
AFCET colloque
Paris # 16-18 mars 1982 Robinet, Bernard | AFCET 1982

Congrès

- vii; 561 p.
Cote : 00037012
informatique

00Bxx ; 68-06

Localisation : Colloque 1er étage (PARI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Codes MSC

Langue