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
Till
Mossakowski
IdRef
Mots clés
FR
|
EN
Calcul qualitatif
Catégorie de Schröder
Algèbre de relations
Alignement d'ontologies
Calcul symbolique
Calcul formel
Représentation des connaissances
Modélisation
Vérification
Uml
Logique
Institutions
Outils
UML (informatique)
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 2 thèse(s)