Treffer 1 – 12 von 12 für Suche 'Eisinger, Norbert', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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 von Ohlbach, Hans Jürgen, Eisinger, Norbert

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book


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

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

    Veröffentlicht 2019

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert 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 von Ohlbach, Hans Jürgen, Eisinger, Norbert

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


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

    A pragmatic module concept for INTERLISP von Eisinger, Norbert

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Deduction systems based on resolution

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

    A pragmatic module concept for Interlisp von Eisinger, Norbert

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: