Le moteur de recherche
des thèses françaises
Micaela Mayero
IdRefMots clés
FR |
EN
Preuve formelle
Méthodes formelles (informatique)
Coq
Assistant de preuve
Topologie
Algèbre linéaire
Théorie de la démonstration
SMT
Logique d'ordre supérieur
Techniques d'implémentation
Instanciation des quantificateurs
Apprentissage automatique
Vérification formelle
Méthodes formelles
Raisonnement automatique
Vérification de modèles (informatique)
Logique mathématique
Solveurs linéaires parallèles
Calcul des prédicats
Algorithmique distribuée