Filtrera

Ämne
  • (3)
  • (1)
  • (1)
  • (1)
  • (1)
  • (1)
Format
  • (2)
  • (3)
Pris
  • (1)
Leveranstid
  • (2)

Rajeev Gore - Böcker

Visar alla böcker av Rajeev Gore. Handla med fri frakt och snabb leverans!

Sortering:

  1. Advances in Modal Logic Volume 10

    av Rajeev Gore, Barteld Kooi, Agi Kurucz

    Häftad, Engelska, 2014-06-18
    305
    Köp
    Skickas från oss inom 7-10 vardagar.
    Advances in Modal Logic Volume 10

    Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics ...

    Läs mer »

  2. Electronic Voting E-bok

    av Robert Krimmer, Melanie Volkamer, Veronique Cortier, Rajeev Gore, Manik Hapsara

    E-bok (LCP), Engelska, 2018-09-25
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Electronic Voting

    This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and sel...

    Läs mer »

  3. Automated Reasoning

    av Rajeev Gore, Alexander Leitsch, Tobias Nipkow

    Häftad, Engelska, 2001-06-01
    1550
    Köp
    Skickas från oss inom 7-10 vardagar.
    Automated Reasoning

    The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem ...

    Läs mer »

  4. Automated Reasoning E-bok

    av Rajeev Gore, Alexander Leitsch, Tobias Nipkow

    E-bok (PDF, LCP), Engelska, 2003-06-29
    1483
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Automated Reasoning

  5. Automated Reasoning

    av Gore Rajeev Gore, Leitsch Alexander Leitsch, Nipkow Tobias Nipkow

    Häftad, Engelska, 2014-03-12
    677
    Köp
    Skickas från oss inom 7-10 vardagar.
    Automated Reasoning