Suchergebnisse - Johann, Patricia

  • Treffer 1 – 4 von 4
Treffer filtern
  1. 1
    Buchumschlag

    Deduction systems
    von Socher, Rolf, Johann, Patricia

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1975
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: