Showing 1 - 8 results of 8 for search 'Vardi, Moshe', query time: 0.03s Refine Results
  1. 1
    Reasining about Knowledge
    Book
  2. 2
    Finite Model Theory and Its Applications
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Published 1987
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Published 1992
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Published 2003
    Other Authors: “…Vardi, Moshe…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
    Published 1995
    Other Authors: “…Vardi, Moshe Y.…”
    Book
  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 /
    Published 2002
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search