Suchergebnisse - Baader, Franz 1959-

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 filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Die S-Varietät DS und einige Untervarietäten
    von Baader, Franz 1959-

    Veröffentlicht 1985
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A semantics for open normal defaults via a modified preferential approach
    von Baader, Franz 1959-, Schlechta, Karl 1904-1985

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Embedding defaults into terminological knowledge representation formalisms
    von Baader, Franz 1959-, Hollunder, Bernhard

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Unification theory
    von Baader, Franz 1959-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    How to prefer more specific defaults in terminological default logic
    von Baader, Franz 1959-, Hollunder, Bernhard

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Terminological cycles in KL-ONE-based knowledge representation languages
    von Baader, Franz 1959-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1989
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    An introduction to description logic
    von Baader, Franz 1959-

    Veröffentlicht 2017
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Term rewriting and all that
    von Baader, Franz 1959-

    Veröffentlicht 1998
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: