Moshe Vardi

Moshe Vardi is the author of "Logic for Programming, Artificial Intelligence, and Reasoning", "TARK Proceedings 1988" and "Reasoning about Knowledge".

Books by Moshe Vardi

TARK Proceedings ...
Vardi Moshe
Paperback:

Reasoning about K...
Fagin, Ronald
Paperback: $70.00

Reasoning about K...
Fagin, Ronald
Digital online: $59.99

Logic for Program...
Vardi Moshe
Electronic book text: $129.00