cx a22 3 45 198185553 http://www.idref.fr/198185553 20170208 20240912163333.000 915389701 915389701 Tp5 http://viaf.org/viaf/313148933748954302546 VIAF VIAF 20200401 0000-0002-6664-0620 ORCID ANR 20201012 stefania-dumbrava HAL HAL 20210128 36141858800 SCOPUSID ABES 20240912 20170208afrey50 ba0 eng 639-2 0 1 0 AFNOR ba0yba0y f|xxx 0 Dumbravă Ştefania-Gabriela SCANR 102020 ESR FR Abes 20240912 AFNOR 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 Dumbravă, Ştefania-Gabriela