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

Proof Theory and Logic Programming

Dale Miller • Dale Miller

Inbunden

1039:-

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

  • 400 sidor
  • 2025
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
  • Författare: Dale Miller, Dale Miller
  • Format: Inbunden
  • ISBN: 9781009561297
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 2025-12-31
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag "A" Water Source Guide for Dowsers

    "A" Water Source Guide for Dowsers

    Dale Miller

    Pocket

    319:-
  2. bokomslag Certified Programs and Proofs

    Certified Programs and Proofs

    Dale Miller Chris Hawblitzel

    Pocket

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

    Programming with Higher-Order Logic

    Dale Miller, Gopalan Nadathur, Gopalan Nadathur

    Inbunden

    799:-
  4. bokomslag Functional and Logic Programming

    Functional and Logic Programming

    Dale Miller Jeremy Gibbons

    Pocket

    1109:-
  5. bokomslag Automated Reasoning

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Pocket

    729:-
  6. bokomslag Business Ethics

    Business Ethics

    Dale Miller, William Shaw, Dale Miller, William Shaw

    Pocket

    1339:-
  7. bokomslag Effortless Mindfulness

    Effortless Mindfulness

    Lisa Dale Miller Lisa Dale Miller

    Pocket

    559:-
  8. bokomslag Effortless Mindfulness

    Effortless Mindfulness

    Lisa Dale Miller Lisa Dale Miller

    Inbunden

    3039:-
  9. bokomslag Alive! and Unstoppable

    Alive! and Unstoppable

    Mark Dale Miles

    Pocket

    189:-
  10. bokomslag Matematik 5000+ Kurs 2abc Vux Lärobok Upplaga 2021

    Matematik 5000+ Kurs 2abc Vux Lärobok...

    Lena Alfredsson • Hans Heikne • Sanna...

    Häftad

    579:-

Andra av samma författare

  1. bokomslag John Stuart Mill and the Art of Life

    John Stuart Mill and the Art of Life

    Eggleston Et Al, Ben Eggleston, Dale Miller, David Weinstein, Dale E Miller

    Inbunden

    1919:-
  2. bokomslag Business Ethics

    Business Ethics

    Dale Miller, William Shaw, Dale Miller, William Shaw

    Pocket

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

    Programming with Higher-Order Logic

    Dale Miller, Gopalan Nadathur, Gopalan Nadathur

    Inbunden

    799:-
  4. bokomslag Cambridge Companion to Utilitarianism

    Cambridge Companion to Utilitarianism

    Ben Eggleston, Dale E Miller, Ben Eggleston, Dale E Miller, Dale Miller

    Inbunden

    1549:-
  5. bokomslag "A" Water Source Guide for Dowsers

    "A" Water Source Guide for Dowsers

    Dale Miller

    Pocket

    319:-
  6. bokomslag Automated Reasoning

    Automated Reasoning

    Bernhard Gramlich, Dale Miller, Ulrike Sattler

    Pocket

    729:-
  7. bokomslag Certified Programs and Proofs

    Certified Programs and Proofs

    Dale Miller Chris Hawblitzel

    Pocket

    749:-
  8. bokomslag Functional and Logic Programming

    Functional and Logic Programming

    Dale Miller Jeremy Gibbons

    Pocket

    1109:-