Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 508 p.
Cote : 00012101
combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages
68-XX ; 68N15 ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 364 p.
Cote : 00013861
algèbre # arbres # grammaire # programmation
68B15 ; 68E10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 370 p.
Cote : 00027315
calcul lambda # sémantique des langages programmation # théorème de Church-Rosser # logique combinatoire
00Bxx ; 03-06
Localisation : Collection 1er étage
English