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.
Ik heb een vraag over het boek:
‘Proof Theory and Logic Programming - Miller, Dale (INRIA Saclay-Ile-de-France)’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
