Moshe Vardi -- Computer Science, Logic, Artificial Intelligence • YASP #1
Impossibile aggiungere al carrello
Puoi avere soltanto 50 titoli nel carrello per il checkout.
Riprova più tardi
Riprova più tardi
Rimozione dalla Lista desideri non riuscita.
Riprova più tardi
Non è stato possibile aggiungere il titolo alla Libreria
Per favore riprova
Non è stato possibile seguire il Podcast
Per favore riprova
Esecuzione del comando Non seguire più non riuscita
Moshe Vardi -- Computer Science, Logic, Artificial Intelligence • YASP #1
-
Letto da:
-
Di:
Moshe Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
adbl_web_anon_alc_button_suppression_t1
Ancora nessuna recensione