Proof Theory and Logic Programming
Computation as Proof Search Engelstalig
Hardback
Nieuw vanaf 79,95
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
Adviesprijs
84,95
79,95
De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.
Verwachte levertijd: 2-3 weken
Omschrijving
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.
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- ISBN:9781009561297
- Bindwijze:Hardback
- Aantal Pagina's:334
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:December 2025
-
Rubriek:
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.