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
- 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
- 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)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 228 p.
Cote : 00021458
analyse # application aux système expert # compréhension et reconnaissance # génération de langage # intelligence artificielle # model de langage # méthodologie de l'informatique # processus de langage naturel # stockage de l'information # sélection # tri # évaluation de langage naturel
68Q55 ; 68Qxx ; 68S05 ; 68T10 ; 68T25
Localisation : Ouvrage RdC (SPAR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 365 p.
Cote : 00021516
algorithme # analyse syntaxique du programme # analyseur # calculateur # grammaire # linguistique # source
68Q50 ; 68Qxx ; 68S05
Localisation : Ouvrage RdC (SIKK)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 151 p.
Cote : 00022016
langage # orthophonie # parole # système vocale # transaction locuteur-auditeur # épistémologie des sciences
03A05 ; 68S05 ; 68Txx
Localisation : Ouvrage RdC (BERR)
English