skip to main content
Idioma:
Refinado por: autor: International Conference on Typed Lambda Calculi and Applications remover assunto: Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Typed lambda calculi and applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
Typed lambda calculi and applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Typed lambda calculi and applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings

International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands) M Bezem 1956- (Marc); J. F Groote 1965- (Jan Frisco)

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.664 ) e outros locais(Acessar)

2
Typed lambda calculi and applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
Typed lambda calculi and applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Typed lambda calculi and applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France) Philippe De Groote; J. Roger Hindley

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1210 ) e outros locais(Acessar)

3
Typed lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Typed lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Typed lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy) Jean-Yves Girard

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1581 )(Acessar)

4
Typed lambda calculi and applications second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
Typed lambda calculi and applications second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Typed lambda calculi and applications second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland) M Dezani-Ciancaglini (Mariangiola); G Plotkin 1946- (Gordon)

Berlin Springer-Verlag New York c1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.902 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.