Treffer 1 – 4 von 4 für Suche 'Johann, Patricia', 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
    Deduction systems

    Deduction systems von Socher, Rolf, Johann, Patricia

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A combinator based order sorted higher order unification algorithm

    A combinator based order sorted higher order unification algorithm von Johann, Patricia

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Jonathan Swift and epistemology a study of Swift's satire on ways of knowing

    Jonathan Swift and epistemology a study of Swift's satire on ways of knowing von Cobb, Johann Patricia

    Veröffentlicht 1975
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Unification in an extensional lambda calculus with ordered function sorts and constant overloading

    Unification in an extensional lambda calculus with ordered function sorts and constant overloading von Johann, Patricia, Kohlhase, Michael 1964-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: