m

Documents  De Groote, Philippe | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z