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
- 436 p.
Call n° : 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
Location : 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.
Call n° : 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
Location : Ouvrage RdC (KOWA)
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
- 158 p.
Call n° : 00009244
algorithme et architectures parallèles # algorithmique # calcul parallèle
68-06 ; 68Q25 ; 68Qxx ; 68Txx
Location : Ouvrage RdC (Para)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Call n° : 00010131
algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique
68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx
Location : Colloque 1er étage (AMST)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Call n° : 00013292
algèbre de Boole # algorithmique parallèle # anneaux de Boole # base de Grobner # calcul propositionnel # preuve de circuit
03G05 ; 06E20 ; 06Exx ; 68Q10 ; 68Txx
Location : Ouvrage RdC (SENE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00010718
intelligence artificielle
68Txx
Location : Disparu