Treffer 1 – 7 von 7 für Suche 'Schmerl, Ulf Roland 1946-', 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
    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
    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:
  5. 5
    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:
  6. 6
    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:
  7. 7
    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:

Suchwerkzeuge: