• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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

    Proof Theory and Logic Programming

    Computation as Proof Search

    AvDale Miller

    E-bok
    PDF, Engelska, 2025

    978 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

    Inbunden

    800 kr

    Produktinformation

    • Utgivningsdatum:2025-12-18
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9781009561310
    • Förlag:Cambridge University Press

    Utforska kategorier

    • Programmeringsböcker inom Data och IT
    • Programspråk inom Data och IT
    • Systemvetenskap och AI inom Data och IT
    Hoppa över listan

    Mer från samma författare

    EGGLESTON ET AL, Ben Eggleston, Dale Miller, David Weinstein - John Stuart Mill and the Art of Life, Inbunden

    John Stuart Mill and the Art of Life

    EGGLESTON ET AL, Ben Eggleston, Dale Miller, David Weinstein

    Inbunden, 2010

    2 056 kr

    Dale Miller, William Shaw - Business Ethics, Häftad

    Business Ethics

    Dale Miller, William Shaw

    Häftad, 2024

    1 013 kr

    Dale Miller, Gopalan Nadathur - Programming with Higher-Order Logic, Inbunden

    Programming with Higher-Order Logic

    Dale Miller, Gopalan Nadathur

    Inbunden, 2012

    643 kr

    Dale Miller - "A" Water Source Guide for Dowsers, Häftad

    "A" Water Source Guide for Dowsers

    Dale Miller

    Häftad, 2022

    246 kr

    Bernhard Gramlich, Dale Miller, Ulrike Sattler - Automated Reasoning, Häftad

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Häftad, 2012

    560 kr

    Ulrike Sattler, Dale Miller, Bernhard Gramlich - Automated Reasoning, E-bok

    Automated Reasoning

    Ulrike Sattler, Dale Miller, Bernhard Gramlich

    E-bok
    2012

    710 kr

    Chris Hawblitzel, Dale Miller - Certified Programs and Proofs, Häftad

    Certified Programs and Proofs

    Chris Hawblitzel, Dale Miller

    Häftad, 2012

    560 kr

    Dale Miller, Chris Hawblitzel - Certified Programs and Proofs, E-bok

    Certified Programs and Proofs

    Dale Miller, Chris Hawblitzel

    E-bok
    2012

    732 kr

    Jeremy Gibbons, Dale Miller - Functional and Logic Programming, Häftad
    Del 14659

    Functional and Logic Programming

    Jeremy Gibbons, Dale Miller

    Häftad, 2024

    726 kr

    Dale Miller, Jeremy Gibbons - Functional and Logic Programming, E-bok

    Functional and Logic Programming

    Dale Miller, Jeremy Gibbons

    E-bok
    2024

    894 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Dale Miller - Proof Theory and Logic Programming, Inbunden

    Proof Theory and Logic Programming

    Dale Miller

    Inbunden, 2025

    800 kr

    Chris Hawblitzel, Dale Miller - Certified Programs and Proofs, Häftad

    Certified Programs and Proofs

    Chris Hawblitzel, Dale Miller

    Häftad, 2012

    560 kr

    Dale Miller, Chris Hawblitzel - Certified Programs and Proofs, E-bok

    Certified Programs and Proofs

    Dale Miller, Chris Hawblitzel

    E-bok
    2012

    732 kr

    Dale Miller - Facts Over Faith, Häftad

    Facts Over Faith

    Dale Miller

    Häftad, 2024

    233 kr

    Jeremy Gibbons, Dale Miller - Functional and Logic Programming, Häftad
    Del 14659

    Functional and Logic Programming

    Jeremy Gibbons, Dale Miller

    Häftad, 2024

    726 kr

    Dale Miller, Gopalan Nadathur - Programming with Higher-Order Logic, Inbunden

    Programming with Higher-Order Logic

    Dale Miller, Gopalan Nadathur

    Inbunden, 2012

    643 kr

    Bernhard Gramlich, Dale Miller, Ulrike Sattler - Automated Reasoning, Häftad

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Häftad, 2012

    560 kr

    Dale Miller, Jeremy Gibbons - Functional and Logic Programming, E-bok

    Functional and Logic Programming

    Dale Miller, Jeremy Gibbons

    E-bok
    2024

    894 kr

    Dale Miller, William Shaw - Business Ethics, Häftad

    Business Ethics

    Dale Miller, William Shaw

    Häftad, 2024

    1 013 kr

    Ulrike Sattler, Dale Miller, Bernhard Gramlich - Automated Reasoning, E-bok

    Automated Reasoning

    Ulrike Sattler, Dale Miller, Bernhard Gramlich

    E-bok
    2012

    710 kr