Skip recommendations
Mostrando 1 - 4 Resultados de 4 Para Buscar 'Urzyczyn, Pawel', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /
    Publicado 2006
    Otros Autores:
    Texto Completo
    Electrónico eBook
  2. 2
    Lectures on the Curry-Howard Isomorphism.
    por Urzyczyn, Pawel
    Publicado 2006
    Texto completo
    Electrónico eBook
  3. 3
    Lectures on the Curry-Howard isomorphism /
    por Sørensen, Morten Heine
    Publicado 2006
    Otros Autores: “…Urzyczyn, Paweł…”
    Texto completo
    Electrónico eBook
  4. 4
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
    Publicado 2005
    Otros Autores: “…Urzyczyn, Pawel…”
    Texto Completo
    Electrónico eBook