Vai al contenuto

Sessione

Sessione

OtiumBookshelf

Otium prende il nome dal tempo sottratto al rumore: quello che dedichi ai libri, agli appunti, alla memoria personale e alle relazioni tra lettori.

Prodotto

Home
Perche Otium
Come funziona
Blog

Community

Top Lettori
Community
Che cos'è Otium Bookshelf
Press
Aiuto
Contatto

Legale

Privacy
Termini
Cookie

© 2026 Otium Bookshelf

Il tempo dedicato a ciò che conta davvero.

Copertine da Open Library

Sessione

Sessione

Caricamento sessione

Moshe Y. Vardi

Autori›Moshe Y. Vardi

MY

Moshe Y. Vardi

Non abbiamo ancora una biografia di Moshe Y. Vardi.

Opere: 2
Edizioni: 11
Lingue: 1

Pubblicato in Inglese

Accedi per seguire

Per saperne di più: Open Library (si apre in una nuova scheda)

I libri più noti

Tutti i libri di Moshe Y. Vardi

Logic for programming artificial intelligence and reasoning
2010
Finite Model Theory and Its Applications
2014
Formal Techniques for Networked and Distributed Systems - FORTE 2002
2003
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
2007
Reasoning about knowledge
2003