Hoppa till sidans huvudinnehåll

Pawel Urzyczyn – författare

Visar alla böcker från författaren .
3 produkter
Morten Heine S�rensen, Pawel Urzyczyn - Lectures on the Curry-Howard Isomorphism, Inbunden
Del 149 - Studies in Logic and the Foundations of Mathematics

Lectures on the Curry-Howard Isomorphism

AvMorten Heine S�rensen,Pawel Urzyczyn

Inbunden, Engelska, 2006

2 039 kr

Skickas inom 10-15 vardagar

Pawel Urzyczyn - Typed Lambda Calculi and Applications, Häftad

Typed Lambda Calculi and Applications

7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

AvPawel Urzyczyn

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Rastislav Královic, Pawel Urzyczyn - Mathematical Foundations of Computer Science 2006, Häftad

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

AvRastislav Královic,Pawel Urzyczyn

Häftad, Engelska, 2006

1 439 kr

Skickas inom 10-15 vardagar