Moshe Y. Vardi
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Finite Model Theory and Its Applications
cover - Image source: Open LibraryFM
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
cover - Image source: Open LibraryFM
Finite Model Theory and Its Applications
cover - Image source: Open LibraryRA
Reasoning about knowledge
cover - Image source: Open LibraryLF
Logic for programming artificial intelligence and reasoning
cover - Image source: Open LibraryTP
TARK Proceedings 1988
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Finite Model Theory and Its Applications
- Open Work
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
- Open Work
Finite Model Theory and Its Applications
- Open Work
Reasoning about knowledge
- Open Work
Logic for programming artificial intelligence and reasoning
- Open Work
TARK Proceedings 1988