Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Johan van
Benthem
IdRef
Mots clés
FR
|
EN
Logique informatique
Mu-calcul
Hiérarchie de points fixes
Hiérarchie de Wadge
Synthèse de protocoles épistemiques
Raisonnement topologique
Logique épistémique
Preuves
Dynamique topologique
Systèmes experts (informatique)
Intelligence artificielle
Théorie des graphes
Représentation des connaissances
Liste des thèses par rôle
Directeur / Directrice de 1 thèse(s)
Rapporteur / Rapporteuse pour 2 thèse(s)