Identifiant pérenne de la notice : 275997340
Notice de type
Personne
Reasoning in Descriptions Logics Augmented with Refreshing Variables / Théo Ducros
; sous la direction de Farouk Toumani et Marinette Bouet. Thèse de doctorat : Informatique
: Université Clermont Auvergne (2021-...) : 2022