Proof Theory and Logic Programming
€79,30
14-päevane tagastusgarantiiMuutsid meelt? Tellimuse saad igal ajal tühistada või 14 päeva jooksul tagastada. Tagastustingimused
Raamatust
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.
| Autor | Dale Miller |
|---|---|
| Kirjastus | Cambridge University Press |
| Ilmumisaasta | 2025 |
| Keel | inglise |
| Lehekülgi | 334 |
| Köide | Kõvakaaneline |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
€79,30
1