skip to main content
Idioma:

Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994

Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt Nodstrom

Berlin Springer 1995

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.996 ) e outros locais(Acessar)

Expandir IFSC - Inst. Física de São Carlos localizações IFSC - Inst. Física de São Carlos (P621.38195 L471 v.996 ) Disponível na Biblioteca
Expandir IME - Inst. Matemática e Estatística localizações IME - Inst. Matemática e Estatística (S L471c v.996 ) Disponível na Biblioteca
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.