Proof Theory and Logic Programming
€79,30
14 dienų grąžinimo garantijaPersigalvojote? Užsakymą galite atšaukti bet kada arba grąžinti per 14 dienų. Grąžinimo politika
Apie knygą
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.
| Autorius | Dale Miller |
|---|---|
| Leidėjas | Cambridge University Press |
| Išleista | 2025 |
| Kalba | Anglų |
| Puslapiai | 334 |
| Formatas | Kietas viršelis |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
€79,30
1