Treffer 1 – 6 von 6 für Suche 'Kahrs, Stefan', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Lambda-rewriting

    Lambda-rewriting von Kahrs, Stefan

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Labda-Rewriting

    Labda-Rewriting von Kahrs, Stefan

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The definition of Extended ML

    The definition of Extended ML von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The definition of Extended ML a gentle introduction

    The definition of Extended ML a gentle introduction von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Mistakes and ambiguities in the definition of standard ML

    Mistakes and ambiguities in the definition of standard ML von Kahrs, Stefan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Unlimp, uniqueness as a leitmotiv for implementation

    Unlimp, uniqueness as a leitmotiv for implementation von Kahrs, Stefan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: