David Delahaye
IdRefMots clés
FR |
EN
Assistants de preuve
Vérification
Théorèmes -- Démonstration automatique
Logique du premier ordre
Méthodes formelles
Logique
Coq
Déduction automatique
Méthode B
B (méthode formelle)
Méthodes formelles (informatique)
Logiciels -- Développement
Logique mathématique
Théorie de la démonstration
Superdéduction
Règles de l'Atelier B
Bureautique
Déduction (logique)
Lambda-calcul
Théorie des types