Polimorfismo atómico e o teorema da normalização forte / Maria do Rosário Dinis Inácio
Autor Inácio, Maria do Rosário Publicação [Lisboa] : [s.n.], 2014 Descrição 55 f. Tese Tese de MEMC apresentada à Universidade Aberta, sob orientação dos Profs. Mário Jorge Edmundo e Gilda Dias FerreiraVersão digital da tese com a cota: L.C. 1464 Nome comum TMEMC
Computação
Lógica matemática
Cálculo
Matemática Acesso virtual Acesso no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Monografia | UAb-Lisboa | L.S. 48688 TMEMC | Não requisitável | LS48688 |
Não há comentários disponíveis sobre este título.