Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 350 p.
Cote : 00016064
algorithme distribué # algorithme parallèle # combinatoire # concept de graphe théorique # décomposition de graphes # grammaire de graphe # géométrie
05Cxx ; 05Dxx ; 68R10 ; 68R15 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 555 p.
Cote : 00022554
CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images
68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68UXX
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pp. 559-1055
Cote : 00022555
CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images
68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68UXX
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pp. 1059-1758
Cote : 00022556
CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images
68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68UXX
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 272 p.
Cote : 00013400
intelligence artificielle # langage # linguistique # logique temporelle # traitement du temps
58TXX ; 68Q45 ; 68Q50 ; 68Q55 ; 68S05
Localisation : Ouvrage RdC (BEST)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 506 p.
Cote : 00015261
calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes
68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 254 p.
Cote : 00004093
algèbre # genre grammatical # grammaire # langage # langage formel # langage naturel # linguistique algébrique # linguistique mathématique # logique algébrique
03D05 ; 20M35 ; 68Q45 ; 68Q50 ; 68S05
Localisation : Ouvrage RdC (MARC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00001418
calcul stochastique # continuité # intégrale stochastique # linguistique # modèle stochastique # règle de chaîne # substitution # équation différentielle stochastique # équation en forme canonique
60H05 ; 60Hxx ; 68S05
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 389 p.
Cote : 00017649
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles
[-] algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...
[+] 03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018420
IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # planification de discours intéractif # prise de décision stylistique # prétexte # relation textuelle # réponse de système cohérent et coopératif # structure rhétorique # système à base de connaissance # échange interrompue
[-] IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # pl...
[+] 68-06 ; 68S05 ; 68Txx
Localisation : Colloque 1er étage (PISA)
English