Bokus

Maarten Marx – författare

Visar alla böcker från författaren Maarten Marx. Handla med fri frakt och snabb leverans.

7 produkter

  1. Maarten Marx, Yde Venema - Multi-Dimensional Modal Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Multi-Dimensional Modal Logic

    Av Maarten Marx, Yde Venema

    Inbunden, 1996

    1096 kr

    Lägg i varukorg

    Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our …

  2. Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Inbunden. Tillgänglighet: Lägg i varukorg

    Finite Model Theory and Its Applications

    Av Erich Grädel, Phokion G. Kolaitis m. fl.

    Inbunden, 2007

    1017 kr

    Lägg i varukorg

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …

  3. Scott Weinstein, Yde Venema, Moshe Y. Vardi, Joel Spencer, Maarten Marx, Leonid Libkin, Phokion G. Kolaitis, Erich Gradel - Finite Model Theory and Its Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Finite Model Theory and Its Applications

    Av Scott Weinstein, Yde Venema m. fl.

    E-bok, 2007

    1141 kr

    Lägg i varukorg

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …

  4. Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Finite Model Theory and Its Applications

    Av Erich Grädel, Phokion G. Kolaitis m. fl.

    Häftad, 2014

    848 kr

    Lägg i varukorg

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …

  5. Maarten Marx, Yde Venema - Multi-Dimensional Modal Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Multi-Dimensional Modal Logic

    Av Maarten Marx, Yde Venema

    Häftad, 2012

    1096 kr

    Lägg i varukorg

    Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our …

  6. Yde Venema, Maarten Marx - Multi-Dimensional Modal Logic, E-bok. Tillgänglighet: Lägg i varukorg

    Multi-Dimensional Modal Logic

    Av Yde Venema, Maarten Marx

    E-bok, 2012

    1459 kr

    Lägg i varukorg

    Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our …

  7. Maarten Marx, Laszls Pslos - Arrow Logic and Multi-Modal Logic, Inbunden. Tillgänglighet: Tillfälligt slut

    Arrow Logic and Multi-Modal Logic

    Av Maarten Marx, Laszls Pslos

    Inbunden

    646 kr

    Tillfälligt slut