Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Baader, Franz', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    The description logic handbook : theory, implementation, and applications /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Βιβλίο
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231)
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Βιβλίο
  7. 7
    The description logic handbook theory implementation, and applications
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Baader, Franz…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email