skip to main content
Refinado por: autor: Nordström, B 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)

2
Types for Proofs and Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Propositions and specifications of programs in Martin-Löf's type theory

Nordström, Bengt ; Smith, Jan

BIT Numerical Mathematics, 1984, Vol.24(3), pp.288-301 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Palliation of Bone Pain in Prostate Cancer Using Chemotherapy and Strontium-89. A Randomized Phase II Study

Nilsson, Sten ; Strang, Peter ; Ginman, Claes ; Zimmermann, Rolf ; Edgren, Maliha ; Nordström, Britta ; Ryberg, Marianne ; Kälkner, Karl-Mikael ; Westlin, Jan-Erik

Journal of Pain and Symptom Management, 2005, Vol.29(4), pp.352-357 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2)
  2. Livros  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até

Base de Dados/Biblioteca 

  1. SpringerLink  (1)
  2. OneFile (GALE)  (1)
  3. Springer (CrossRef)  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nordström, B
  2. Smith, J.
  3. Nordstrom, B
  4. Westlin, Jan-Erik
  5. Kälkner, Karl-Mikael

Buscando em bases de dados remotas. Favor aguardar.