Start Over
You searched for: author_facet Vardi, Moshe Y.

Search Results

Cover image for Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Location
Access Content Online
Cover image for Database theory--ICDT'95

Database theory--ICDT'95

Joyner Library - General Stacks
Call Number: QA76.9.D3 I557 1995
Cover image for Formal techniques for networked and distributed systems--FORTE 2002

Formal techniques for networked and distributed systems--FORTE 2002

Location
Access Content Online
Cover image for Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

Location
Access Content Online
Cover image for Database Theory - ICDT '95

Database Theory - ICDT '95

Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Joyner Library - General Stacks
Call Number: QA76.76.V47 C38 1998
Cover image for Formal techniques for networked and distributed systems--FORTE 2002

Formal techniques for networked and distributed systems--FORTE 2002

Location
Access Content Online
Cover image for Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

  • by LPAR
  • 2003
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.63 .L735 2003