كتب بواسطة Moshe Y. Vardi - BookPine

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Alan J. Hu

Communcations of the ACM

Communcations of the ACM

Moshe Y. Vardi

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Georg Gottlob

Conference on Theoretical Aspects of Reasoning about Knowledge

Conference on Theoretical Aspects of Reasoning about Knowledge

Moshe Y. Vardi

Theoretical Aspects of Reasoning Abot Knowledge 1988

Theoretical Aspects of Reasoning Abot Knowledge 1988

Moshe Y. Vardi