• 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. Data och IT
      2. Systemvetenskap och AI

      Automatische Synthese rekursiver Programme als Beweisverfahren

      AvSusanne Biundo

      E-bok
      PDF, Tyska, 2013

      Del i serien Informatik-Fachberichte

      608 kr

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

      Fler format och utgåvor

      Häftad

      581 kr

      Produktinformation

      • Utgivningsdatum:2013-03-08
      • Språk:Tyska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642847448
      • Förlag:Springer Berlin Heidelberg
      • Serie:Informatik-Fachberichte

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Susanne Biundo, Andreas Wendemuth - Companion Technology, Inbunden

      Companion Technology

      Susanne Biundo, Andreas Wendemuth

      Inbunden, 2017

      1 127 kr

      Andreas Wendemuth, Susanne Biundo - Companion Technology, E-bok

      Companion Technology

      Andreas Wendemuth, Susanne Biundo

      E-bok
      2017

      1 413 kr

      Susanne Biundo, Andreas Wendemuth - Companion Technology, Häftad

      Companion Technology

      Susanne Biundo, Andreas Wendemuth

      Häftad, 2018

      1 092 kr

      Susanne Biundo, Thom Frühwirth, Günther Palm - KI 2004: Advances in Artificial Intelligence, Häftad

      KI 2004: Advances in Artificial Intelligence

      Susanne Biundo, Thom Frühwirth, Günther Palm

      Häftad, 2004

      566 kr

      Gunther Palm, Thom Fruhwirth, Susanne Biundo - KI 2004: Advances in Artificial Intelligence, E-bok

      KI 2004: Advances in Artificial Intelligence

      Gunther Palm, Thom Fruhwirth, Susanne Biundo

      E-bok
      2005

      734 kr

      Maria Fox, Susanne Biundo - Recent Advances in AI Planning, E-bok

      Recent Advances in AI Planning

      Maria Fox, Susanne Biundo

      E-bok
      2006

      712 kr

      Susanne Biundo, Maria Fox - Recent Advances in AI Planning, Häftad

      Recent Advances in AI Planning

      Susanne Biundo, Maria Fox

      Häftad, 2000

      566 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Susanne Biundo - Automatische Synthese rekursiver Programme als Beweisverfahren, Häftad

      Automatische Synthese rekursiver Programme als Beweisverfahren

      Susanne Biundo

      Häftad, 1992

      581 kr

      Maria Fox, Susanne Biundo - Recent Advances in AI Planning, E-bok

      Recent Advances in AI Planning

      Maria Fox, Susanne Biundo

      E-bok
      2006

      712 kr

      Susanne Biundo, Thom Frühwirth, Günther Palm - KI 2004: Advances in Artificial Intelligence, Häftad

      KI 2004: Advances in Artificial Intelligence

      Susanne Biundo, Thom Frühwirth, Günther Palm

      Häftad, 2004

      566 kr

      Andreas Wendemuth, Susanne Biundo - Companion Technology, E-bok

      Companion Technology

      Andreas Wendemuth, Susanne Biundo

      E-bok
      2017

      1 413 kr

      Susanne Biundo, Andreas Wendemuth - Companion Technology, Häftad

      Companion Technology

      Susanne Biundo, Andreas Wendemuth

      Häftad, 2018

      1 092 kr

      Susanne Biundo, Andreas Wendemuth - Companion Technology, Inbunden

      Companion Technology

      Susanne Biundo, Andreas Wendemuth

      Inbunden, 2017

      1 127 kr

      Susanne Biundo, Maria Fox - Recent Advances in AI Planning, Häftad

      Recent Advances in AI Planning

      Susanne Biundo, Maria Fox

      Häftad, 2000

      566 kr

      Gunther Palm, Thom Fruhwirth, Susanne Biundo - KI 2004: Advances in Artificial Intelligence, E-bok

      KI 2004: Advances in Artificial Intelligence

      Gunther Palm, Thom Fruhwirth, Susanne Biundo

      E-bok
      2005

      734 kr

      Måns Petter Zelmerlöw - När allt faller, Inbunden
      • -12%

      När allt faller

      Måns Petter Zelmerlöw

      Inbunden, 2026

      229 kr259 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr