Treffer 1 – 10 von 10 für Suche 'Mitschke, Gerd', Suchdauer: 0,02s
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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Discriminators in combinatory logic and lambda-calculus von Mitschke, Gerd
Veröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen … -
2
S Briggeseitze unn S Dordeliesjes Alte Hausnamen ; Wenigumstädter Familien und ihre Herkunft von Mitschke, Gerd 1927-, Jakob, Edmund
Signatur: Wird geladen …
Standort: Wird geladen … -
3
Wenigumstädter Geschichten von Mitschke, Gerd 1927-
Veröffentlicht 2003Signatur: Wird geladen …
Standort: Wird geladen … -
4
Infinite terms and infinite reductions von Mitschke, Gerd
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
5
Some remarks about the connections between combinatory logic and axiomatic recursion theory von Hindley, Roger, Mitschke, Gerd
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
6
Eine algebraische Behandlung von Lambda-K-Kalkül und kombinatorischer Logik von Mitschke, Gerd
Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen … -
7
Höhenlage von Wenigumstadt Lormannsbrücke ; Hohe Brücke von Mitschke, Gerd 1927-
Signatur: Wird geladen …
Standort: Wird geladen … -
8
A simple proof for "omega can be anything it should not be" von Mitschke, Gerd
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
9
Lambda-Kalkül, Delta-Konversion und axiomatische Rekursionstheorie von Mitschke, Gerd
Veröffentlicht 1976Signatur: Wird geladen …
Standort: Wird geladen … -
10
The solution of Böhm's S-problem von Mitschke, Aleit, Mitschke, Gerd
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …