Typed Lambda Calculi and Applications
4th International Conference, TLCA''99, L''Aquila, Italy, April 7-9, 1999, Proceedings
E-bok
PDF, Engelska, 2003712 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 222
Advances in Linear Logic
Jean-Yves Girard, Jean-Yves Girard, Yves Lafont, Laurent Regnier
Häftad, 1995
1 016 kr
Del 316
Linear Logic in Computer Science
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
Häftad, 2004
1 285 kr
- -43%
- -15%
Historiens återkomst : Europa och världsordningens sammanbrott
Martin Kragh
Inbunden, 2025
219 kr259 kr
- Signerad!
- 4 för 3
Del 1