skip to main content
Refinado por: assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Smith, J
  2. Petersson, K
  3. Nordström, B

Buscando em bases de dados remotas. Favor aguardar.