Dale Miller: Proof Theory and Logic Programming, Gebunden
Proof Theory and Logic Programming
Buch
- Computation as Proof Search
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 31.12.2025.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Aktueller Preis: EUR 88,53
- Verlag:
- Cambridge University Press, 12/2025
- Einband:
- Gebunden
- Sprache:
- Englisch
- ISBN-13:
- 9781009561297
- Artikelnummer:
- 12289427
- Umfang:
- 400 Seiten
- Erscheinungstermin:
- 31.12.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Dale Miller
Proof Theory and Logic Programming
Aktueller Preis: EUR 88,53
