Le moteur de recherche
des thèses françaises
Philipp Rümmer
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Satisfiability Modulo Theories (SMT)
Superposition
Méthode des tableaux
Preuve formelle
Unification
Réécriture, Systèmes de (informatique)
Logique du premier ordre
Instanciation des quantificateurs
Production des preuves
Automatisation des preuves
Résolution SMT
Vérification formelle
Méthodes formelles (informatique)
Solveurs (logiciels)
Systèmes experts (informatique)
Déduction automatique
Implémentation d'outils de déduction automatique
Tableaux analytiques au premier ordre
Logique