We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Browse Books by author Books by title Books by popularity

My Library Sign in Sign up

Search books

Home
Authors
Moshe Y. Vardi

Author

Moshe Y. Vardi

3 books in our library

All books by Moshe Y. Vardi

3 books

Logic for programming artificial intelligence and reasoning

by Andrei Voronkov

Cover of Logic for programming artificial intelligence and reasoning

Buy this book More books like Logic for programming artificial intelligence and reasoning

Formal Techniques for Networked and Distributed Systems - FORTE 2002

by Doron A. Peled

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Buy this book More books like Formal Techniques for Networked and Distributed Systems - FORTE 2002

TARK Proceedings 1988

by Moshe Y. Vardi

Cover of TARK Proceedings 1988

Buy this book More books like TARK Proceedings 1988

Looking for another book by Moshe Y. Vardi? Search by title

We have 2 880 564 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.