Vibdot un système efficace de vérification de l'intégrité d'une base de données déductives fondées sur les contraintes dynamiques et les transformations logiques
JavaScript is disabled for your browser. Some features of this site may not work without it.
Vibdot un système efficace de vérification de l'intégrité d'une base de données déductives fondées sur les contraintes dynamiques et les transformations logiques