• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)

      Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

      AvRajeev Gore,Alexander Leitsch

      Engelska, 2014

      665 kr

      Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Utgivningsdatum:2014-03-12
      • Format:Övrigt
      • Språk:Engelska
      • Antal sidor:728
      • Förlag:Springer
      • ISBN:9783662171196
      Hoppa över listan

      Du kanske också är intresserad av

      Tobias Nipkow, Alexander Leitsch, Rajeev Gore - Automated Reasoning, E-bok

      Automated Reasoning

      Tobias Nipkow, Alexander Leitsch, Rajeev Gore

      E-bok
      2003

      1 413 kr

      Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Automated Reasoning, Häftad

      Automated Reasoning

      Rajeev Gore, Alexander Leitsch, Tobias Nipkow

      Häftad, 2001

      1 124 kr

      David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer - Electronic Voting, E-bok

      Electronic Voting

      David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer

      E-bok
      2018

      732 kr

      Rajeev Gore, Barteld Kooi, Agi Kurucz - Advances in Modal Logic Volume 10, Häftad

      Advances in Modal Logic Volume 10

      Rajeev Gore, Barteld Kooi, Agi Kurucz

      Häftad, 2014

      291 kr

      Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid - Electronic Voting, Häftad
      Del 11143

      Electronic Voting

      Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid

      Häftad, 2018

      566 kr

      Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Häftad
      Del 34

      Methods of Cut-Elimination

      Matthias Baaz, Alexander Leitsch

      Häftad, 2013

      1 092 kr

      Alexander Leitsch - Resolution Calculus, Häftad

      Resolution Calculus

      Alexander Leitsch

      Häftad, 2011

      549 kr

      Nicolas Peltier, Alexander Leitsch, Ricardo Caferra - Automated Model Building, E-bok

      Automated Model Building

      Nicolas Peltier, Alexander Leitsch, Ricardo Caferra

      E-bok
      2013

      2 044 kr

      Georg Gottlob, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory, Häftad

      Computational Logic and Proof Theory

      Georg Gottlob, Alexander Leitsch, Daniele Mundici

      Häftad, 1997

      549 kr

      Alexander Leitsch - Resolution Calculus, E-bok

      Resolution Calculus

      Alexander Leitsch

      E-bok
      2012

      710 kr