Yazar
Maarten Marx
5 cilt bulundu.
Cilt sonuçları
Multi-Dimensional Modal Logic
Maarten Marx · Springer Netherlands
239 sayfa · 1997
Philosophy (General) / Symbolic and mathematical Logic / Computational linguistics / Logic / Modality (logic)
Arrow logic and multi-modal logic
Maarten Marx, Michael Masuch · FoLLI, European Association for Logic, Language, and Information
247 sayfa · 1996
Modality (Logic) / Logic / Modality (logic)
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