Treffer 1 – 2 von 2 für Suche 'Luther, Marko', Suchdauer: 0,01s 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
    Elaboration and erasure in type theory

    Elaboration and erasure in type theory von Luther, Marko

    Veröffentlicht 2003
    Elektronisch Software E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Elaboration and erasure in type theory

    Elaboration and erasure in type theory von Luther, Marko

    Veröffentlicht 2003
    Abschlussarbeit Elektronisch Software E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: