Treffer 1 – 10 von 10 für Suche 'Henke, Friedrich W. von', Suchdauer: 0,05s 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
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Notes on automating theorem proving in LCF

    Notes on automating theorem proving in LCF von Henke, Friedrich W. von

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Über eine deterministische Theorie formaler Sprachen

    Über eine deterministische Theorie formaler Sprachen von Henke, Friedrich W. von

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Verallgemeinerte primitiv-rekursive Funktionen zwischen freien Monoiden

    Verallgemeinerte primitiv-rekursive Funktionen zwischen freien Monoiden von Henke, Friedrich W. von

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: