Showing 1 - 10 results of 10 for search 'Mitschke, Gerd', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Discriminators in combinatory logic and lambda-calculus

    Discriminators in combinatory logic and lambda-calculus by Mitschke, Gerd

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    S Briggeseitze unn S Dordeliesjes Alte Hausnamen ; Wenigumstädter Familien und ihre Herkunft

    S Briggeseitze unn S Dordeliesjes Alte Hausnamen ; Wenigumstädter Familien und ihre Herkunft by Mitschke, Gerd 1927-, Jakob, Edmund

    Article Interlibrary loan Place Request


    Saved in:
  3. 3
    Wenigumstädter Geschichten

    Wenigumstädter Geschichten by Mitschke, Gerd 1927-

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Infinite terms and infinite reductions

    Infinite terms and infinite reductions by Mitschke, Gerd

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Some remarks about the connections between combinatory logic and axiomatic recursion theory

    Some remarks about the connections between combinatory logic and axiomatic recursion theory by Hindley, Roger, Mitschke, Gerd

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Eine algebraische Behandlung von Lambda-K-Kalkül und kombinatorischer Logik

    Eine algebraische Behandlung von Lambda-K-Kalkül und kombinatorischer Logik by Mitschke, Gerd

    Published 1970
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Höhenlage von Wenigumstadt Lormannsbrücke ; Hohe Brücke

    Höhenlage von Wenigumstadt Lormannsbrücke ; Hohe Brücke by Mitschke, Gerd 1927-

    Article Interlibrary loan Place Request


    Saved in:
  8. 8
    A simple proof for "omega can be anything it should not be"

    A simple proof for "omega can be anything it should not be" by Mitschke, Gerd

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Lambda-Kalkül, Delta-Konversion und axiomatische Rekursionstheorie

    Lambda-Kalkül, Delta-Konversion und axiomatische Rekursionstheorie by Mitschke, Gerd

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    The solution of Böhm's S-problem

    The solution of Böhm's S-problem by Mitschke, Aleit, Mitschke, Gerd

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: