Showing 1 - 12 results of 12 for search 'Eisinger, Norbert', query time: 0.05s 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
    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker

    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker by Ohlbach, Hans Jürgen, Eisinger, Norbert

    Published 2017
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    50 Jahre Einbaumotoren von MWM 1934-1984

    50 Jahre Einbaumotoren von MWM 1934-1984 by Eisinger, Norbert, Flaig, Hubert

    Published 2019

    Get full text
    Article Interlibrary loan Place Request


    Saved in:
  3. 3
    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker

    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker by Ohlbach, Hans Jürgen, Eisinger, Norbert

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Completeness, confluence, and related properties of clause graph resolution

    Completeness, confluence, and related properties of clause graph resolution by Eisinger, Norbert

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Elimination of redundancies in clause sets and clause graphs

    Elimination of redundancies in clause sets and clause graphs by Eisinger, Norbert, Ohlbach, Hans Jürgen, Präcklein, Axel

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Completeness, confluence, and related properties of clause graph resolution

    Completeness, confluence, and related properties of clause graph resolution by Eisinger, Norbert

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Completeness, confluence, and related properties of clause graph resolution

    Completeness, confluence, and related properties of clause graph resolution by Eisinger, Norbert

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A pragmatic module concept for INTERLISP

    A pragmatic module concept for INTERLISP by Eisinger, Norbert

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Deduction systems based on resolution

    Deduction systems based on resolution by Eisinger, Norbert, Ohlbach, Hans Jürgen

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Completeness, confluence, and related properties of clause graph resolution

    Completeness, confluence, and related properties of clause graph resolution by Eisinger, Norbert

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Elimination of reduncancies in clause sets and clause graphs

    Elimination of reduncancies in clause sets and clause graphs by Eisinger, Norbert, Ohlbach, Hans Jürgen, Präcklein, Axel

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A pragmatic module concept for Interlisp

    A pragmatic module concept for Interlisp by Eisinger, Norbert

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: