Treffer 1 – 20 von 20 für Suche 'Hofbauer, Dieter', Suchdauer: 0,09s 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
    Linearizing term rewriting systems using test sets

    Linearizing term rewriting systems using test sets von Hofbauer, Dieter, Huber, Maria

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Termination proots and derivation lengths in Term Rewriting systems

    Termination proots and derivation lengths in Term Rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1991
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Grundlagen des maschinellen Beweises [Beweisens] eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweises [Beweisens] eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweises eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Termination proofs and derivation lengths in term rewriting systems

    Termination proofs and derivation lengths in term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Termination proofs and derivation lengths in term rewriting systems

    Termination proofs and derivation lengths in term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1992
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Termination proofs and derivation lengiths in term rewriting systems

    Termination proofs and derivation lengiths in term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Termination proofs and derivation lengths in term rewriting systems

    Termination proofs and derivation lengths in term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Termination proofs and derivation lengths in therm rewriting systems

    Termination proofs and derivation lengths in therm rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1991
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Multiset path orderings and derivation lengths

    Multiset path orderings and derivation lengths von Hofbauer, Dieter

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter

    Veröffentlicht 1989
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Providing inductive theorems based on term rewriting systems

    Providing inductive theorems based on term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Some results on top-context-free tree languages

    Some results on top-context-free tree languages von Hofbauer, Dieter, Huber, Maria, Kucherov, Gregory

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Termination proofs and derivation lengths in term rewriting systems

    Termination proofs and derivation lengths in term rewriting systems von Hofbauer, Dieter

    Veröffentlicht 1992
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter

    Veröffentlicht 1991
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker

    Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Completeness proofs for logic programming refutations and derivations for ground clauses

    Completeness proofs for logic programming refutations and derivations for ground clauses von Siefkes, Dirk 1938-2016, Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Proving inductive theorems based on term rewriting systems

    Proving inductive theorems based on term rewriting systems von Hofbauer, Dieter, Kutsche, Ralf-Detlef 1955-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: