Zum Inhalt springen Hachmaoui, Mohammed Houssem Eddine [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Contejean, Evelyne [Mitwirkende:r]; Benzaken, Véronique [Mitwirkende:r] Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée ; A Coq certified translation from an extension of relational algebra for SQL to a nested algebra Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2020-10-16
Hachmaoui, Mohammed Houssem Eddine [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Contejean, Evelyne [Mitwirkende:r]; Benzaken, Véronique [Mitwirkende:r] Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée ; A Coq certified translation from an extension of relational algebra for SQL to a nested algebra Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2020-10-16
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Benzaken, Véronique (1) Wert ausschließen Contejean, Evelyne (1) Wert ausschließen Hachmaoui, Mohammed Houssem Eddine (1) Wert ausschließen université Paris-Saclay (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen zeige weitere weniger zeigen