Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
- Indbinding:
- Paperback
- Sideantal:
- 250
- Udgivet:
- 20. Oktober 2011
- Størrelse:
- 246x189x13 mm.
- Vægt:
- 454 g.
Leveringstid:
2-3 uger
Forventet levering: 11. Oktober 2024
Brugerbedømmelser af Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction findes i følgende kategorier: