Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Fisher, Michael', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  2. 2
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    ανά Dix, JΓΌrgen
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Foundations and Applications of Multi-Agent Systems UKMAS Workshop 1996-2000, Selected Papers /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Fisher, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email