Suchergebnisse - Leitsch, Alexander

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2011
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    The resolution calculus
    von Leitsch, Alexander

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2004
    Buch


    Gespeichert in:

Suchwerkzeuge: