Zum Inhalt springen

  4. Fu, King S. [Sonstige Person, Familie und Körperschaft]

    Syntactic methods in pattern recognition

    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.

    New York: Academic Press, 2010 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library

    Erschienen in: Mathematics in science and engineering ; v. 112

  8. 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

  11. Petit, Michel [VerfasserIn]

    Contribution à une réflexion sur la spécificité linguistique de la langue de spécialité : quelques particularités de la construction de la référence dans le discours mathématique en anglais

    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: Cahiers de l'APLIUT ; Vol. 13, n° 1, pp. 30-43

  12. Muhammad, Humayoun [VerfasserIn] ; Grenoble [MitwirkendeR]; Raffalli, Christophe [MitwirkendeR]; Ranta, Aarne [MitwirkendeR]

    Développement du système MathNat pour la formalisation automatique des textes mathématiques ; Developing System MathNat for Automatic Formalization of Mathematical texts

    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, 2012-01-18

  13. DIN-Normenausschuss Bauwesen (NABau), DIN Standards Committee Building and Civil Energeering, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 18709-4 : Begriffe, Kurzzeichen und Formelzeichen in der Geodäsie - Teil 4: Ausgleichungsrechnung und Statistik - [2010-09-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.

    Berlin, Wien, Zürich: Beuth Verlag, 2010

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  14. 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