Proof Theory and Logic Programming (inbunden, eng)
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theore...
1 007 kr
1 091 kr
inkl. moms
Bara 2 kvar
Skickas inom 3 - 4 vardagar
EAN: 9781009561297
Specifikation
Det finns tyvärr inga specifikationer att visa för denna produkt.