Treffer 1 – 10 von 10 für Suche 'Schmerl, Ulf Roland', Suchdauer: 0,03s 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
    Beweise als Programme ihre Auswertung durch Schnittelimination

    Beweise als Programme ihre Auswertung durch Schnittelimination von Schmerl, Ulf Roland 1946-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Eine von Reflexionsformeln erzeugter Feinstruktur über Erweiterungen der primitiv rekursiven Arithmetik

    Eine von Reflexionsformeln erzeugter Feinstruktur über Erweiterungen der primitiv rekursiven Arithmetik von Schmerl, Ulf Roland 1946-

    Veröffentlicht 1978
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A resolution calculus giving definite answers

    A resolution calculus giving definite answers von Schmerl, Ulf Roland 1946-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Diophantische Gleichungen in Fragmenten der Arithmetik

    Diophantische Gleichungen in Fragmenten der Arithmetik von Schmerl, Ulf Roland

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Über die schwach und die stark wachsende Hierarchie zahlentheoretische Funktionen

    Über die schwach und die stark wachsende Hierarchie zahlentheoretische Funktionen von Schmerl, Ulf Roland

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Proving total correctness of programs in weak second-order logic

    Proving total correctness of programs in weak second-order logic von Berghammer, Rudolf 1952-, Elbl, Birgit, Schmerl, Ulf Roland 1946-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proving total correctness of programs in weak second-order logic

    Proving total correctness of programs in weak second-order logic von Berghammer, Rudolf 1952-, Elbl, Birgit, Schmerl, Ulf Roland 1946-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Clause reduction in resolution calculi by Herbrand substitutions of depth one

    Clause reduction in resolution calculi by Herbrand substitutions of depth one von Schmerl, Ulf Roland 1946-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Logic programming by compilation and interpretation of formal derivations

    Logic programming by compilation and interpretation of formal derivations von Schmerl, Ulf Roland 1946-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Über die schwach und die stark wachsende Hierarchie zahlentheoretischer Funktionen

    Über die schwach und die stark wachsende Hierarchie zahlentheoretischer Funktionen von Schmerl, Ulf Roland

    Veröffentlicht 1982
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: