Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 328 p.
Cote : 00009248
théorie des programmes # schéma # preuve # sémantique
68N15
Localisation : Ouvrage RdC (LIVE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00009655
micro-prolog # programmation logique prolog
68N15 ; 68T25
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00009664
programmation prolog
68N15 ; 68T25
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 158 p.
Cote : 00009659
intelligence artificielle
68T05 ; 68T25 ; 68T30
Localisation : Ouvrage RdC (BARR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 189 p.
Cote : 00009273
mathématique logique et fondation # automate # théorie générale # forme de language # grammaire # théorie des automates
68T20 ; 68T25 ; 68Txx
Localisation : Ouvrage RdC (HOPC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 218 p.
Cote : 00009706
68T99
Localisation : Ouvrage RdC (WERT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 311 p.
Cote : 00011521
algorithme # inférence parallèle # intelligence artificielle # langage de programmation # langage de programmation logique # logique de programmation # logique mathématiques # machine # programmation # prolog
68N15 ; 68N20 ; 68Q20 ; 68T25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 426 p.
Cote : 00014027
algorithme # algorithmique # architecture parallèle # combinatoire # complexe # géométrie algébrique # géométrie de l'informatique # informatique théorique # langage formel # sémantique
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Cote : 00017541
application de la théorie des possibilités # calcul de quantité flane # ensemble flou # environnement imprécis # information incomplète ou incertaine # mesure de possibilité # modèle de raisonnement approché # programmation flane # recherche hermistique # représentation des connaissances en informatique # système expert # traitement de question vague en base de données # évaluation et classement d'objets
68P15 ; 68T30 ; 68T35 ; 68Txx
Localisation : Ouvrage RdC (DUBO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 449 p.
Cote : 00022548
application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique
68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68UXX
Localisation : Colloque 1er étage (AVIG)
English