Vardi, Moshe Y.
VIAF ID: 42887943 (Personal)
Permalink: http://viaf.org/viaf/42887943
Preferred Forms
-
100 1 _ ‡a Vardi, Moshe Y.
-
100 1 _ ‡a Vardi, Moshe Y.
-
100 1 _ ‡a Vardi, Moshe Y. (undifferentiated)
-
100 1 _ ‡a Vardi, Moshe Y.
-
100 1 _ ‡a Vardi, Moshe Y.
-
100 1 0 ‡a Vardi, Moshe Y.
4xx's: Alternate Name Forms (2)
Selected Titles
- Formal techniques for networked and distributed systems, FORTE 2002 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
(3)
- FORTE 2002
(3)
- Database theory - ICDT '95 : 5th international conference, Prague, Czech Republic, January 11-13, 1995 : proceedings
(3)
- Theoretical aspects of reasoning about knowledge
(2)
- Computer aided verification 10th International conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings
(2)
- CAV'98
(2)
- CAV '98
(2)
- Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
(1)
- Web Information Systems Engineering - WISE 2008 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
(1)
- Trust, Privacy and Security in Digital Business 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings
(1)
