Search Results - Baader, Franz 1959-

Filter by
  1. 1
    Cover Image

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

    Published 1998
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1999
    Table of Contents
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1993
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1993
    Book


    Saved in:
  5. 5
    Cover Image

    Unification theory
    by Baader, Franz 1959-

    Published 1992
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1992
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1991
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1990
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1989
    Thesis/Dissertation Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1993
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1992
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1991
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1991
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 1985
    Thesis/Dissertation Book


    Saved in:
  15. 15
    Cover Image

    An introduction to description logic
    by Baader, Franz 1959-

    Published 2017

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Electronic eBook


    Saved in:
  16. 16
    Cover Image

    Term rewriting and all that
    by Baader, Franz 1959-

    Published 1998

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Electronic eBook


    Saved in:
  17. 17
    Cover Image

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

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1994
    Table of Contents
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: