Författare
Dale Miller
Dale Miller är en uppskattad författare inom Data och IT med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Cambridge University Press.
Bland verken finns Proof Theory and Logic Programming, som toppar listan över Dale Millers populäraste böcker. Verken spänner över data & it och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Dale Millers författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Dale Miller hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Proof Theory and Logic Programming
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.
Hela bibliografin
Utforska alla Dale Millers publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Dale Miller kommer du förmodligen att uppskatta även dessa författare inom data & it.