Proof Theory and Logic Programming

Proof Theory and Logic Programming

fra 819,-
Tilgjengelig i 1 butikker
Frakt og levering

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
ProduktnavnProof Theory and Logic Programming
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 819,- den billigste prisen for Proof Theory and Logic Programming blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste ungdomsskole/videregående for å være sikker på at du gjør det beste kjøpet.