Treffer 1 – 3 von 3 für Suche 'Setzer, Anton', Suchdauer: 0,01s 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
    A note on Degen's generalization of the pigeonhole principle, st-connectivity, and odd charged graphs

    A note on Degen's generalization of the pigeonhole principle, st-connectivity, and odd charged graphs von Clote, Peter, Setzer, Anton

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proof theoretical strength of Martin-Löf-Type-Theory with W-type and one universe

    Proof theoretical strength of Martin-Löf-Type-Theory with W-type and one universe von Setzer, Anton

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof theoretical stregth of Martin-Löf type theory with W-type and one universe

    Proof theoretical stregth of Martin-Löf type theory with W-type and one universe von Setzer, Anton

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: