Le moteur de recherche
des thèses françaises
Didier Galmiche
IdRefMots clés
FR |
EN
Théorie de la démonstration
Logique informatique
Logique mathématique non classique
Logique
Théorèmes -- Démonstration automatique
Logiques de ressources
Modalité (logique)
Sémantique
Logique épistémique
Logiques hybrides
Décidabilité
Systèmes experts (informatique)
Logique intuitionniste
Démonstration automatique
Logiciels -- Vérification
Modélisation
Logiques de séparation
Dynamique
Méthodes formelles (informatique)
.