Skip to contents

  10. Vardi, Moshe Y. [Author] ; Voronkov, Andrei [Other]

    Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg: Springer, 2003

    Published in: Lecture notes in computer science ; 285000

  11. Vardi, Moshe Y. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Management of Data, ACM Special Interest Group on Operating Systems

    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: ACM, 1987

    Published in: ACM Digital Library- ACM Conferences

  14. Peled, Doron [Author] ; Vardi, Moshe Y. [Other]

    Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: IFIP International Federation for Information Processing, 2002

    Published in: Lecture notes in computer science ; 2529