Stage de recherche

Stage: Formalisation en Coq de Bases de Donnees Relationnelles et Deductives -et Mecanisation de Datalog

Ecole Nationale Supérieure d'Ingénieurs de Génie Chimique, 2017

st lacinia nisi venenatis tristique fusce congue diam id ornare imperdiet sapien