Proof Theory and Logic Programming
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....
fra 749,-
På lager i 2 butikker
Kjøp på nett
Fjernlager
Frakt og levering
På lager
Frakt og levering
Sammenligning av produkter
Her finner du de fire mest populære produktene i denne kategorien i en lignende prisklasse som det du ser på nå.
Proof Theory and Logic Programming
749,-
Produktinformasjon
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.
Spesifikasjon
| Produkt | |
|---|---|
| Produktnavn | Proof Theory and Logic Programming |
| book typ | boker, fagboker, data og informasjonsteknologi, programmering |
Populære produkter
Pris og prishistorikk
Akkurat nå er 749,- den billigste prisen for Proof Theory and Logic Programming blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.
