Treffer 1 – 3 von 3 für Suche 'Rueß, Harald', 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
    Formal meta-programming in the calculus of constructions

    Formal meta-programming in the calculus of constructions von Rueß, Harald

    Veröffentlicht 1995
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Künstliche Intelligenz Chancen für Wirtschaft und Gesellschaft in Bayern

    Künstliche Intelligenz Chancen für Wirtschaft und Gesellschaft in Bayern von Rueß, Harald, Krcmar, Helmut 1954-

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Arbeitstreffen Typtheorie Zusammenfassung der Beiträge

    Arbeitstreffen Typtheorie Zusammenfassung der Beiträge von Rueß, Harald

    Veröffentlicht 1994
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: