Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 436 p.
Cote : 00008484
apprentissage # compréhension du langage naturel # espace de problèmes # implémentation # intelligence artificielle # perception # représentation structurée de la connaissance # système de résolution de problèmes
68T01 ; 68T15 ; 68T20 ; 68T30 ; 68Txx
Localisation : Ouvrage RdC (RICH)
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
- 287 p.
Cote : 00008495
mathématique logique et fondation # logique générale # informatique # mécanisation des preuves et des opérations logiques # intelligence artificielle
03B35 ; 68T20 ; 68Txx
Localisation : Ouvrage RdC (KOWA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 158 p.
Cote : 00009244
algorithme et architectures parallèles # algorithmique # calcul parallèle
68-06 ; 68Q25 ; 68Qxx ; 68Txx
Localisation : Ouvrage RdC (Para)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Cote : 00010131
algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique
68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx
Localisation : Colloque 1er étage (AMST)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Cote : 00013292
algèbre de Boole # algorithmique parallèle # anneaux de Boole # base de Grobner # calcul propositionnel # preuve de circuit
03G05 ; 06E20 ; 06Exx ; 68Q10 ; 68Txx
Localisation : Ouvrage RdC (SENE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00010718
intelligence artificielle
68Txx
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 284 p.
Cote : 00011341
logique # prédicat # programmation logique # structure de données # vérification de programme
68N05 ; 68N15 ; 68P05 ; 68Q60 ; 68Txx
Localisation : Ouvrage RdC (HOGG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011367
automatisme # cao # informatique graphique # intelligence artificielle # robotique # systeme expert
68-06 ; 68Txx ; 68U05
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011368
automatique # cao # informatique graphique # intelligence artificielle # robotique
68-06 ; 68Txx ; 68U65
Localisation : Colloque 1er étage (PARI)
English