Moshe Y. Vardi

Identifiers

Open LibraryOL2951973A

Top Subjects

Artificial Intelligence - General (3)
Artificial intelligence (2)
Knowledge, Theory of (2)
Philosophy (2)
Reasoning (2)
General (2)
Epistemology, theory of knowledge (2)

Books by Moshe Y. Vardi

Total count: 6

TARK Proceedings 19882nd edition

Morgan Kaufmann1988-03-01
Formal Techniques for Networked and Distributed Systems - FORTE 200222nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Springer London, Limited2003-01-01
Reasoning About Knowledge

The MIT Press2003-12-01
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Springer2007-06-04
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)1 edition

Springer2007-06-11
Finite Model Theory and Its Applications

Springer2014-10-30