Zum Inhalt springen

  4. Bulf, Caroline [VerfasserIn]; Mathé, Anne-Cécile [VerfasserIn]; Mithalal, Joris [VerfasserIn]

    Apprendre en géométrie, entre adaptation et acculturation. Langage et activité géométrique

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Spirale. Revue de recherches en éducation ; Vol. 54, n° 1, pp. 29-48

  5. Benthem, Johan van [Sonstige Person, Familie und Körperschaft]

    Language in action : categories, lambdas, and dynamic logic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam; New York; New York, N.Y., U.S.A: North-Holland, 1991 ; Online-Ausg.

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 130

  12. vakulenko, Serhij [VerfasserIn]

    Le rapport langage/mathématiques d'après Oleksa Vetuxiv et Leonid Bulaxovs'kyj : une controverse théorique sur les pas d'Alexandre Potebnia et sa continuation dans la linguistique ukrainienne

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Histoire Épistémologie Langage ; Vol. 21, n° 1, pp. 83-104

  13. Dumbravă, Ştefania-Gabriela [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Benzaken, Véronique [MitwirkendeR]; Contejean, Evelyne [MitwirkendeR]

    Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog ; A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-12-02

  14. Racicot, François-Éric [VerfasserIn] ; Theoret, Raymond [MitwirkendeR]

    Le calcul numérique en finance empirique et quantitative : Ingénierie financière et Excel (Visual Basic), 2e édition - [2e ed.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Sainte-Foy, Que.: Presses de l'Universite du Quebec, 2004

  15. Pinault, Laureline [VerfasserIn] ; Lyon [MitwirkendeR]; Pous, Damien [MitwirkendeR]

    From automata to cyclic proofs : equivalence algorithms and descriptive complexity ; Des automates aux preuves cycliques : algorithmes d’équivalence et complexité descriptive

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-07-23

  16. ISO/TC 154 Prozesse, Datenelemente und Dokumente in Handel, Industrie und Verwaltung, ISO/TC 154 Processes, data elements and documents in commerce, industry and administration, ISO/TC 154 Processus, éléments d'informations et documents dans le commerce, l'industrie et l'administration, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 17369 : Statistical data and metadata exchange (SDMX) - [2013-01-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2013

    Erschienen in: ISO-Regelwerk- ISO-Normen

  17. Catta, Davide [VerfasserIn] ; Montpellier [MitwirkendeR]; Retoré, Christian [MitwirkendeR]; Moot, Richard [MitwirkendeR]; Quatrini, Myriam [MitwirkendeR]

    Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques ; Proofs as games and games as proofs : dialogical semantics of logical and natural languages

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-23