Showing 1 - 8 results of 8 for search 'Lutz, Carsten 1971-', query time: 0.07s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    An introduction to description logic

    An introduction to description logic by Baader, Franz 1959-, Horrocks, Ian, Lutz, Carsten 1971-, Sattler, Ulrike 1966-

    Published 2017
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday

    Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday

    Published 2019
    Other Authors: “…Lutz, Carsten 1971-…”
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday

    Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday

    Published 2019
    Other Authors: “…Lutz, Carsten 1971-…”
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Frontiers of combining systems 10th international symposium , FroCoS 2015, Wroclaw, Poland, September 21 - 24, 2015 ; proceedings

    Frontiers of combining systems 10th international symposium , FroCoS 2015, Wroclaw, Poland, September 21 - 24, 2015 ; proceedings

    Published 2015
    Other Authors: “…Lutz, Carsten 1971-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  5. 5
    KI 2014: Advances in artificial intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22 - 26, 2014 ; proceedings

    KI 2014: Advances in artificial intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22 - 26, 2014 ; proceedings

    Published 2014
    Other Authors: “…Lutz, Carsten 1971-…”
    Description
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    KI 2014: Advances in artificial intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22 - 26, 2014 ; proceedings

    KI 2014: Advances in artificial intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22 - 26, 2014 ; proceedings

    Published 2014
    Other Authors: “…Lutz, Carsten 1971-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings

    Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings

    Published 2015
    Other Authors: “…Lutz, Carsten 1971-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    23rd International Conference on Database Theory ICDT 2020, March 30–April 2, 2020, Copenhagen, Denmark

    23rd International Conference on Database Theory ICDT 2020, March 30–April 2, 2020, Copenhagen, Denmark

    Published 2020
    Other Authors: “…Lutz, Carsten 1971-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: