Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Christos Rantsoudis

est l'auteur d'une thèse

Bases de données -- Gestion Contraintes d'intégrité active Contrôle d'intégrité Gestion de l'inconsistance Logiciels -- Vérification Logique de description Logique dynamique Réparation de bases de données

Fullscreen

Bases de données -- Gestion Contraintes d'intégrité active Contrôle d'intégrité Gestion de l'inconsistance Logiciels -- Vérification Logique de description Logique dynamique Réparation de bases de données

Christos Rantsoudis a rédigé la thèse suivante :

Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique

par Christos Rantsoudis sous la direction de Olivier Gasquet et de Guillaume Feuillade . - Toulouse 3

Informatique et Télécommunications

Soutenue le 10-12-2018

Thèse soutenue

Accéder en ligne