• 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

Upp till 20% på populära nyheter →

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 @ 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. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Processes, Terms and Cycles: Steps on the Road to Infinity

      Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

      AvRoel de Vrijer,Femke van Raamsdonk

      E-bok
      PDF, Engelska, 2005

      1 416 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:2005-12-11
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540324256
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik
      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer - Processes, Terms and Cycles: Steps on the Road to Infinity, Häftad

      Processes, Terms and Cycles: Steps on the Road to Infinity

      Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer

      Häftad, 2005

      1 113 kr

      Vincent van Oostrom - Rewriting Techniques and Applications, Häftad

      Rewriting Techniques and Applications

      Vincent van Oostrom

      Häftad, 2004

      577 kr

      Vincent van Oostrom - Rewriting Techniques and Applications, E-bok

      Rewriting Techniques and Applications

      Vincent van Oostrom

      E-bok
      2004

      739 kr

      Vincent van Oostrom - Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, Övrigt

      Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

      Vincent van Oostrom

      672 kr

      Andrei Voronkov, Aart Middeldorp, Ken McMillan - Logic for Programming, Artificial Intelligence, and Reasoning, E-bok

      Logic for Programming, Artificial Intelligence, and Reasoning

      Andrei Voronkov, Aart Middeldorp, Ken McMillan

      E-bok
      2013

      739 kr

      Aart Middeldorp, Taisuke Sato - Functional and Logic Programming, Häftad

      Functional and Logic Programming

      Aart Middeldorp, Taisuke Sato

      Häftad, 1999

      577 kr

      Aart Middeldorp, Amy P. Felty - Automated Deduction - CADE-25, E-bok

      Automated Deduction - CADE-25

      Aart Middeldorp, Amy P. Felty

      E-bok
      2015

      732 kr

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser - Logic Colloquium '99, Häftad

      Logic Colloquium '99

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser

      Häftad, 2004

      736 kr

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck - Logic Colloquium '99, E-bok

      Logic Colloquium '99

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck

      E-bok

      877 kr

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck - Logic Colloquium '99, E-bok

      Logic Colloquium '99

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck

      E-bok
      2004

      855 kr