Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 545p.
Call n° : 00018473
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle
[-]
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...
[+]
68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx
Location : Colloque 1er étage (BONN)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 472 p.
Call n° : 00011360
intelligence artificielle # résolution de problème
68T20 ; 68T30 ; 68Txx
Location : Ouvrage RdC (LAUR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 188 p.
Call n° : 00015259
adaptation relationnelle # intelligence artificielle # méthode heuristique # recherche par arbre # signal continu # signal discret # situation d'objet # stratégie de recherche en arbre # théorie de l'information # vision par ordinateur
68T10 ; 68T20 ; 68U05 ; 94A12
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 155 p.
Call n° : 00017813
Job-Shop # dynamique # heuristique # minimisation de la durée totale # ordonnancement # réactif # statistique
68M20 ; 68T20 ; 90B35
Location : Ouvrage RdC (PENZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 688 p.
Call n° : 00024248
algorithme # informatique # analyse d'algorithme # complexité # tri et recherche # stockage de données # accès aux données # structure de données # ensemble dynamique # graphe # programmation dynamique # chaîne # algorithme parallèle # JAVA
68-01 ; 68Q25 ; 68P10 ; 68P20 ; 68W99
Location : ouvrage RdC (BAAS)