F Nous contacter

0

Documents  Robinet, Bernard | enregistrements trouvés : 2

O
     

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V

- vii; 561 p.

Localisation : Colloque RdC

informatique

00Bxx ; 68-06

... Lire [+]

V

- 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 [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z