Proof Theory and Logic Programming
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(3)
Bol
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.
Lees meer
68,99
Uitgelicht
|
68,99 |
Naar shop
|
|
74,78 |
Naar shop
|
|
74,78 |
Naar shop
|
Beschrijving
Bol
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.
Beschrijving
(2)
Bol
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.
AmazonPagina's: 334, Hardcover, Cambridge University Press
ProductspecificatiesPrijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
68,99
