Showing 1 - 3 results of 3 for search 'Leitsch, Alexander', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Methods of cut-elimination

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

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Automated model building

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

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    The resolution calculus

    The resolution calculus by Leitsch, Alexander

    Published 1997
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: