Yazar
moshe y vardi
5 cilt bulundu.
Cilt sonuçları
Logic for programming artificial intelligence and reasoning
Moshe Y. Vardi, Andrei Voronkov · Springer London, Limited
437 sayfa · 2003
Logic programming / Congresses / Automatic theorem proving
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein · Springer
453 sayfa · 2014
Kategori yok
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein · Springer
440 sayfa · 2007
Kategori yok