m

F Nous contacter

0

Documents  Robinet, Bernard | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vii; 561 p.

Localisation : Colloque 1er étage (PARI)

informatique

00Bxx ; 68-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 208 p.
ISBN 978-3-540-17184-3

Lecture notes in computer science , 0242

Localisation : Collection 1er étage

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

... Lire [+]

Z