• 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)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      Logic for Programming, Artificial Intelligence, and Reasoning

      9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

      AvAndrei Voronkov,Matthias Baaz

      E-bok
      PDF, Engelska, 2003

      732 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Produktinformation

      • Utgivningsdatum:2003-06-30
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540360780
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Matthias Baaz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

      Logic for Programming, Artificial Intelligence, and Reasoning

      Matthias Baaz, Andrei Voronkov

      Häftad, 2002

      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

      Matthias Baaz, Sy-David Friedman, Jan Krajícek - Logic Colloquium '01, Häftad

      Logic Colloquium '01

      Matthias Baaz, Sy-David Friedman, Jan Krajícek

      Häftad, 2005

      618 kr

      Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr - Kurt Gödel and the Foundations of Mathematics, Inbunden

      Kurt Gödel and the Foundations of Mathematics

      Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr

      Inbunden, 2011

      1 670 kr

      Matthias Baaz, Sy-David Friedman, Jan Krajícek - Logic Colloquium '01, Inbunden

      Logic Colloquium '01

      Matthias Baaz, Sy-David Friedman, Jan Krajícek

      Inbunden, 2005

      966 kr

      Johann M. Makowsky, Matthias Baaz - Computer Science Logic, E-bok

      Computer Science Logic

      Johann M. Makowsky, Matthias Baaz

      E-bok
      2003

      1 413 kr

      Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr - Kurt Gödel and the Foundations of Mathematics, Häftad

      Kurt Gödel and the Foundations of Mathematics

      Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr

      Häftad, 2014

      840 kr

      Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Inbunden

      Methods of Cut-Elimination

      Matthias Baaz, Alexander Leitsch

      Inbunden, 2011

      1 092 kr

      Jan Krajicek, Sy-David Friedman, Matthias Baaz - Logic Colloquium '01, E-bok

      Logic Colloquium '01

      Jan Krajicek, Sy-David Friedman, Matthias Baaz

      E-bok

      1 420 kr

      Alexander Leitsch, Matthias Baaz - Methods of Cut-Elimination, E-bok

      Methods of Cut-Elimination

      Alexander Leitsch, Matthias Baaz

      E-bok
      2011

      1 413 kr