Yakoub Salhi
IdRefMots clés
FR |
EN
Fouille de données
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)
Méthodes formelles (informatique)
Logique mathématique
Solveurs linéaires parallèles
Calcul des prédicats
Logiques modales intuitionnistes
Logiques hybrides
Structures multi-contextuelles
Déduction naturelle
Calcul des séquents
Décidabilité