Proof Theory and Logic Programming 1
Kommande
bokomslag Proof Theory and Logic Programming
Data & IT

Proof Theory and Logic Programming

Dale Miller

Inbunden

1029:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

  • 400 sidor
  • 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
  • Författare: Dale Miller
  • Format: Inbunden
  • ISBN: 9781009561297
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 2025-11-30
  • Förlag: Cambridge University Press

Du kanske gillar

  1. Ny
    bokomslag Frälsarkransen

    Frälsarkransen

    Kristina Ohlsson

    Pocket

    79:- (125:-)
  2. bokomslag "A" Water Source Guide for Dowsers

    "A" Water Source Guide for Dowsers

    Dale Miller

    Pocket

    319:-
  3. bokomslag Programming with Higher-Order Logic

    Programming with Higher-Order Logic

    Gopalan Nadathur Dale Miller

    Inbunden

    829:-
  4. bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    79:- (115:-)
  5. bokomslag Fågelboken : 200 svenska fåglar

    Fågelboken : 200 svenska fåglar

    Sven Mathiasson

    Häftad

    149:-
  6. Ny
    bokomslag Älskade Betty

    Älskade Betty

    Katarina Widholm

    Pocket

    125:-
  7. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    125:-
  8. bokomslag Pojken, mullvaden, räven och hästen

    Pojken, mullvaden, räven och hästen

    Charlie Mackesy

    Inbunden

    229:- (299:-)
  9. Ny
    bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders de la Motte • Anette de la Motte

    Pocket

    79:- (125:-)
  10. bokomslag Alive! and Unstoppable

    Alive! and Unstoppable

    Mark Dale Miles

    Pocket

    189:-

Andra av samma författare

  1. bokomslag Programming with Higher-Order Logic

    Programming with Higher-Order Logic

    Gopalan Nadathur Dale Miller

    Inbunden

    829:-
  2. bokomslag Cambridge Companion to Utilitarianism

    Cambridge Companion to Utilitarianism

    Ben Eggleston, Dale E Miller, Dale Miller

    Inbunden

    1369:-
  3. bokomslag "A" Water Source Guide for Dowsers

    "A" Water Source Guide for Dowsers

    Dale Miller

    Pocket

    319:-
  4. bokomslag Automated Reasoning

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Pocket

    719:-
  5. bokomslag Certified Programs and Proofs

    Certified Programs and Proofs

    Dale Miller Chris Hawblitzel

    Pocket

    739:-
  6. bokomslag Functional and Logic Programming

    Functional and Logic Programming

    Dale Miller Jeremy Gibbons

    Pocket

    1089:-