Treffer 1 - 2 von 2 für Suche 'Schlögl, Karl', Suchdauer: 4,80s Treffer weiter einschränken
  1. 1
    Ein formales System der einfachen Typenlogik mit Extensionalität und Elimination der Schnittregel

    Ein formales System der einfachen Typenlogik mit Extensionalität und Elimination der Schnittregel von Schlögl, Karl

    Veröffentlicht 1971
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Ulrich Schmidt

    Ulrich Schmidt von Schlögl, Karl

    Veröffentlicht 2005

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: