The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Vardi, Moshe Y

LC control no.n 87943650
Personal name headingVardi, Moshe Y.
    Browse this term in  LC Authorities  or the  LC Catalog
Found inConference on Theoret. Aspects of Reasoning about Knowledge (2nd : 1988 : Pacific Grove, Calif.). Proceedings ... c1988: CIP t.p. (Moshe Y. Vardi; IBM Almaden Res. Ctr.)
Formal techniques for networked and distributed systems--FORTE 2002, 2002: CIP t.p. (Moshe Y. Vardi) t.p. verso (Rice Univ., Dept. of Computer Science, Houston, Tec.) ds. (b. July, 1954)