Le moteur de recherche
des thèses françaises
Elaine Pimentel
IdRefMots clés
FR |
EN
Logique modale
Théorie de preuves
Décidabilité
Modalité (logique)
Théorie de la démonstration
Logique intuitionniste
Prouveur interactif
Vérification
Raisonnement automatique
SMT
Solveurs (logiciels)
Vérification de modèles (informatique)
Assistants de preuve
Méthodes formelles (informatique)
Théorèmes -- Démonstration automatique