Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 720 p.
Cote : 00011524
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique
68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 133 p.
Cote : 00012125
langage algébrique # théorie des langages # transduction rationnelles
68Q45 ; 68Qxx ; 68SXX
Localisation : Ouvrage RdC (AUTE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 365 p.
Cote : 00009281
68N05 ; 68N15 ; 68SXX
Localisation : Ouvrage RdC (GRIE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00017834
68SXX
Localisation : Colloque 1er étage (FONT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 429 p.
Cote : 00011473
logique de programmation # logique mathématiques # programme
68Q45 ; 68Q55 ; 68S10 ; 68SXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 284 p.
Cote : 00011489
langage de programmation # langage déclaratif # progammation # programme informatique # prolog # validation
68N15 ; 68Nxx ; 68Q60 ; 68SXX
Localisation : Monographie RdC (ABRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 273 p.
Cote : 00012008
analyse combinatoire de données # arbre # intelligence artificielle # programmation # représentation des proximités
68R15 ; 68SXX ; 68Txx
Localisation : Ouvrage RdC (BART)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00012016
intelligence artificielle # langage # linguistique mathemati que # programmation logique
68N15 ; 68SXX ; 68T25
Localisation : Colloque 1er étage (SAN)
English