Moshe Y. Vardi

Moshe Y. Vardi

2 books in the database

Books

Logic for programming artificial intelligence and reasoningMoshe Y. Vardi

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi · 2003

TARK Proceedings 1988Moshe Y. Vardi

TARK Proceedings 1988

Moshe Y. Vardi · 1988

Co-authored books and collections

Books that list Moshe Y. Vardi among their authors but not as the lead author: co-written works, collections and compilations.

Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled · 2003