skip to main content
Refinado por: Base de dados/Biblioteca: SpringerLink Books - All remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Dybjer, Peter ; Nordström, Bengt ; Smith, Jan Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

2
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.