Franz Baader

Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 45 für Suche 'Baader, Franz 1959-', 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
    An introduction to description logic

    An introduction to description logic von Baader, Franz 1959-

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


    Gespeichert in:
  2. 2
    Term rewriting and all that

    Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Term rewriting and all that

    Term rewriting and all that von Baader, Franz 1959-

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


    Gespeichert in:
  4. 4
    Combination of constraint solvers for free and quasi-free structures

    Combination of constraint solvers for free and quasi-free structures von Baader, Franz 1959-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the combination of symbolic constraints, solution domains, and constraint solvers

    On the combination of symbolic constraints, solution domains, and constraint solvers von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Terminological logics with modal operators

    Terminological logics with modal operators von Baader, Franz 1959-, Laux, Armin

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On the combination of symbolic constraints, solution domains, and constraint solvers

    On the combination of symbolic constraints, solution domains, and constraint solvers von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Combination of constraint solving techniques an algebraic point of view

    Combination of constraint solving techniques an algebraic point of view von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Unification in the union of disjoint equational theories combining decision procedures

    Unification in the union of disjoint equational theories combining decision procedures von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Unification in commutative theories, Hilbert's basis theorem and Gröbner bases

    Unification in commutative theories, Hilbert's basis theorem and Gröbner bases von Baader, Franz 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Unifikation und Reduktionssysteme für Halbgruppenvarietäten

    Unifikation und Reduktionssysteme für Halbgruppenvarietäten von Baader, Franz 1959-

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Combination techniques and decision problems for disunification

    Combination techniques and decision problems for disunification von Baader, Franz 1959-, Schulz, Klaus

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Combination techniques and decision problems for disunification

    Combination techniques and decision problems for disunification von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Extensions of concept languages for a mechanical engineering application

    Extensions of concept languages for a mechanical engineering application von Baader, Franz 1959-, Hanschke, Philipp

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    General A- and AX-unification via optimized combination procedures

    General A- and AX-unification via optimized combination procedures von Baader, Franz 1959-, Schulz, Klaus U.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Qualifying number restrictions in concept languages

    Qualifying number restrictions in concept languages von Hollunder, Bernhard, Baader, Franz 1959-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    A scheme for integrating concrete domains into concept languages

    A scheme for integrating concrete domains into concept languages von Baader, Franz 1959-, Hanschke, Philipp

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Unification, weak unification, upper bound, lower bound, and generalization problems

    Unification, weak unification, upper bound, lower bound, and generalization problems von Baader, Franz 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

    Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases von Baader, Franz 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Unification, weak unification, upper bound, lower bound and generalization problems

    Unification, weak unification, upper bound, lower bound and generalization problems von Baader, Franz 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: