Pawel Urzyczyn - Böcker

Visar alla böcker från författaren Pawel Urzyczyn.

3 produkter

Kategorier

3 produkter

Del 149

Del 149 - Studies in Logic and the Foundations of Mathematics

Lectures on the Curry-Howard Isomorphism

Av Morten Heine S�rensen, Pawel Urzyczyn m. fl

Inbunden, Engelska, 2006

1 959 kr

Skickas inom 7-10 vardagar

Typed Lambda Calculi and Applications

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

Av Pawel Urzyczyn

Häftad, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2006

1 459 kr

Skickas inom 10-15 vardagar