Showing 1 - 7 results of 7 for search 'Baader, Franz', query time: 0.02s Refine Results
  1. 1
    Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
    Published 2003
    Other Authors: “…Baader, Franz…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Other Authors: “…Baader, Franz…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    The description logic handbook : theory, implementation, and applications /
    Published 2003
    Other Authors: “…Baader, Franz…”
    Book
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Published 2005
    Other Authors: “…Baader, Franz…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings /
    Published 2001
    Other Authors: “…Baader, Franz…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231)
    Other Authors: “…Baader, Franz…”
    Book
  7. 7
    The description logic handbook theory implementation, and applications
    Published 2007
    Other Authors: “…Baader, Franz…”
    Book
Search Tools: RSS Feed – Email Search