Pawel Urzyczyn – författare
Visar alla böcker från författaren Pawel Urzyczyn.
3 produkter
Lectures on the Curry-Howard Isomorphism
Av Morten Heine S�rensen, Pawel Urzyczyn
Inbunden, 2006
2099 kr
Lägg i varukorg
Typed Lambda Calculi and Applications
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Häftad, 2005
729 kr
Lägg i varukorg
Mathematical Foundations of Computer Science 2006
31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
Av Rastislav Královic, Pawel Urzyczyn
Häftad, 2006
1449 kr
Lägg i varukorg