Dumbravă, Ştefania-Gabriela

Dumbravă, Ştefania-Gabriela

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 198185553

URI de l'entité : http://www.idref.fr/198185553/id

Notice de type Personne

Point d'accès autorisé

Dumbravă, Ştefania-Gabriela

Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/313148933748954302546

Identifiant ORCID : 0000-0002-6664-0620

Identifiant HAL : stefania-dumbrava

Identifiant SCOPUS : 36141858800

Source

Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog / Ştefania-Gabriela Dumbravă ; sous la direction de Véronique Benzaken et Evelyne Contejean. Thèse de doctorat : Informatique : Paris Saclay : 2016

... Références liées : ...