Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση 'Vardi, Moshe', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Reasining about Knowledge
    Βιβλίο
  2. 2
    Finite Model Theory and Its Applications
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Έκδοση 1987
    Άλλοι συγγραφείς: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Έκδοση 1992
    Άλλοι συγγραφείς: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Vardi, Moshe…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
    Έκδοση 1995
    Άλλοι συγγραφείς: “…Vardi, Moshe Y.…”
    Βιβλίο
  7. 7
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Έκδοση 1998
    Άλλοι συγγραφείς: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email