Moshe Vardi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Vardi
MIT Press
2019
Muu digitaalinen tallenne

101,00 €

Logic for Programming, Artificial Intelligence, and Reasoning - 10th International Conference, LPAR 2003, Almaty, Kazakhstan, Se

Vardi, Moshe; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,10 €

Reasoning About Knowledge

Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe
MIT Press Ltd
2004
Pehmeäkantinen kirja

12,30 €

Finite Model Theory and Its Applications

Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scot
Springer
2007
Kovakantinen kirja

91,00 €

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

Hu, Alan J.; Vardi, Moshe Y.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

100,90 €

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

Gottlob, Georg; Vardi, Moshe Y.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston,

Peled, Doron A.; Vardi, Moshe Y.
Springer
2002
Pehmeäkantinen kirja

51,10 €

Finite Model Theory and Its Applications

Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scot
Springer
2014
Pehmeäkantinen kirja

76,00 €