Treffer 1 – 6 von 6 für Suche 'Wainer, S. S.', Suchdauer: 0,06s 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
    Proofs and Computations.

    Proofs and Computations. von Schwichtenberg, Helmut

    Veröffentlicht 2011
    Weitere Verfasser: “… Wainer, S. S. …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Computability, enumerability, unsolvability : directions in recursion theory /

    Computability, enumerability, unsolvability : directions in recursion theory /

    Veröffentlicht 1996
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /

    Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /

    Veröffentlicht 1980
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

    Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

    Veröffentlicht 1980
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990

    Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990

    Veröffentlicht 1993
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computability, enumerability, unsolvability directions in recursion theory

    Computability, enumerability, unsolvability directions in recursion theory

    Veröffentlicht 1996
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: