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