Sophie Tison
IdRefMots clés
FR |
EN
Bases de données -- Interrogation
XML (langage de balisage)
Arbres (théorie des graphes) -- Informatique
Règles existentielles
Automates
Réécriture, Systèmes de (informatique)
Contraintes (intelligence artificielle)
Structures de données (informatique)
Théorie des graphes
Arbres (théorie des graphes)
Logique mathématique
Langages formels
XPath (langage de programmation)
Théorie des automates mathématiques
Systèmes embarqués (informatique)
Décidabilité (logique mathématique)
Apprentissage automatique
Bases de données sur le Web
Qualité des données
Accès aux données médiatisé par une ontologie