Showing 1 - 6 results of 6 for search 'Hudelmaier, Jörg', query time: 0.03s 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
    Sichtanalyse im PKW unter Berücksichtigung von Bewegung und individuellen Körpercharakteristika

    Sichtanalyse im PKW unter Berücksichtigung von Bewegung und individuellen Körpercharakteristika by Hudelmaier, Jörg

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Bounds for cut elimination for propositional intuitionistic logic

    Bounds for cut elimination for propositional intuitionistic logic by Hudelmaier, Jörg

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A decision procedure for propositional N-PROLOG

    A decision procedure for propositional N-PROLOG by Hudelmaier, Jörg

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A decision procedure for intuitionistic propositional logic

    A decision procedure for intuitionistic propositional logic by Hudelmaier, Jörg

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Bounds for cut elimination in intuitionistic propositional logic

    Bounds for cut elimination in intuitionistic propositional logic by Hudelmaier, Jörg

    Published 1989
    Thesis Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Sichtanalyse im Pkw unter Berücksichtigung von Bewegung und individuellen Körpercharakteristika

    Sichtanalyse im Pkw unter Berücksichtigung von Bewegung und individuellen Körpercharakteristika by Hudelmaier, Jörg

    Published 2003
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: