Treffer 1 - 3 von 3 für Suche 'Leitsch, Alexander', Suchdauer: 0,09s Treffer weiter einschränken
  1. 1
    Methods of cut-elimination

    Methods of cut-elimination von Baaz, Matthias 1960-, Leitsch, Alexander

    Veröffentlicht 2011
    BTU01
    TUM01
    UBA01
    UBM01
    UBT01
    UBW01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated model building

    Automated model building von Caferra, Ricardo 1945-, Leitsch, Alexander, Peltier, Nicholas

    Veröffentlicht 2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The resolution calculus

    The resolution calculus von Leitsch, Alexander

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: