Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]

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

- vii; 561 p.

Localisation : Colloque RdC (PARI)

informatique

00Bxx ; 68-06

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
t>
  • NuMIR
  • Vidéos Canal U
  • EuDML
  • Index National des Prépublications Mathématiques en France
  • mini-DML
  • ArXiv
  • LiNuM (Livres Numérisés Mathématiques)
  • Gallica-Math: Œuvres complètes
  • Portail des Universités Numériques
  • Experimentarium Digitale

  • F Nous contacter

    0

    Documents  Robinet, Bernard | enregistrements trouvés : 2

    O
       

    -A +A

    P Q