Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Proof Theory and Logic Programming
- Computation as Proof Search
Engelsk
Foto på vej
Specifikationer
Sprog:
Engelsk
Sider:
400
ISBN-13:
9781009561297
Indbinding:
Hardback
ISBN-10:
1009561294
Udg. Dato:
31 dec 2025
Størrelse i cm:
Oplagsdato:
31 dec 2025
Forfatter(e):

Proof Theory and Logic Programming

- Computation as Proof Search
Engelsk
Hardback 2025
Format:

Bog beskrivelse
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.
... Vis mere

Hos Booktok
726 kr
Forudbestil nu
Sikker betaling
Udkommer 31-12-2025

Specifikationer
Sprog:
Engelsk
Sider:
400
ISBN-13:
9781009561297
Indbinding:
Hardback
ISBN-10:
1009561294
Udg. Dato:
31 dec 2025
Størrelse i cm:
Oplagsdato:
31 dec 2025
Forfatter(e):
Finder produkter...
Kategori sammenhænge