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.
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
- 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
- 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
Cote : 00017834
68SXX
Localisation : Colloque 1er étage (FONT)
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)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 460 p.
Cote : 00012111
analyse des données # analyse syntaxique # automate états finis # compilateur # constuction de compilateur # grammaire # informatique # langage # linguistique # outils logiciels # programmation # réalisation anormale # théorie des langages
68Q45 ; 68SXX
Localisation : Ouvrage RdC (GOUG)