Le moteur de recherche
des thèses françaises
Ştefania-Gabriela Dumbravă
IdRefMots clés
FR |
EN
Datalog (langage de programmation)
Méthodes formelles
Assistants de preuve
Logique
Réseaux neuronaux graphiques
Langages de données
Formalisations mathématiques
Vérification de programmes
Logique mathématique
Coq
MathComp
Vérification
Analyse statique
Réseau
OpenStack
Optimisation
Énumération
Big data
Graphes orientés
Données massives