Mostrar 1 - 3 resultats de 3 per cerca 'International Conference on Typed Lambda Calculi and Applications' Anar al contingut
VuFind
  • El teu compte
  • Tancar la sessió
  • Iniciar sessió
  • Idioma
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português (Brasil)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
Avançada
  • Autor
  • International Conference on Typed Lambda Calculi and Applications
Mostrar 1 - 3 resultats de 3 per cerca 'International Conference on Typed Lambda Calculi and Applications', hora de la petició: 0.05sec Refinar resultats
Llistat   Quadrícula  
1
Carregant...
Typed lambda calculi and applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Typed lambda calculi and applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
per International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Pawel.
Publicat 2005.
Obtenir text complet
Livro
Previsualitzar
Previsualitzar
Previsualitzar
Afegir a favorits
Guardat en:
2
Carregant...
Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
per International Conference on Typed Lambda Calculi and Applications, Curien, P. L.
Publicat 2009.
Obtenir text complet
Livro
Previsualitzar
Previsualitzar
Previsualitzar
Afegir a favorits
Guardat en:
3
Carregant...
Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
per International Conference on Typed Lambda Calculi and Applications, Ronchi Della Rocca, Simona.
Publicat 2007.
Obtenir text complet
Livro
Previsualitzar
Previsualitzar
Previsualitzar
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca — Guardar cerca

Afineu la vostra cerca

UFRJ 3 [excloure]
Minerva 3 [excloure]
Livro 3 [excloure]
International Conference on Typed Lambda Calculi and Applications 3 [excloure]
Curien, P. L. 1 [excloure]
Ronchi Della Rocca, Simona 1 [excloure]
Urzyczyn, Pawel 1 [excloure]
Inglês 3 [excloure]

Opcions de cerca

  • Historial de cerca
  • Cerca avançada

Trobar-ne més

  • Explorar el catàleg
  • Explorar alfabèticament
  • Explora canals
  • Bibliografia recomanada
  • Nous ítems

Necessites ajuda?

  • Consells de cerca
  • Pregunteu al bibliotecari
  • FAQs
Carregant...