Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 456 p.
Cote : 00021456
application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble
03B45 ; 68N17 ; 68Q40 ; 68T27 ; 68T30
Localisation : Ouvrage RdC (NERO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00022535
apprentissage machine # langage naturel # paneau # panel # physique naive # planning # programmation logique # qualitatif # raisonnement # reseau neuronnaux # robotique et vision # vidéo # vision
68T05 ; 68T25 ; 68T27 ; 68T30 ; 68T35 ; 68Txx ; 68UXX
Localisation : Colloque 1er étage (CHAM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 179 p.
Cote : 00022678
intelligence artificielle # logique de programmation # logique non classique
03B60 ; 03B70 ; 68T27
Localisation : Ouvrage RdC (BREW)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 125 p.
Cote : 00004739
logique # CAO # représentation des objets
68T27
Localisation : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 243 p.
Cote : 00029016
raisonnement logique # intelligence artificielle # logique informatique
03B60 ; 03B70 ; 68T27
Localisation : Ouvrage RdC (SCHL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 386p.
Cote : 00030118
informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé
00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27
Localisation : Colloque 1er étage (STPE)
English