Uma linguagem computacional para a reescrita de expressões matemáticas por via axiomática / Jaime Augusto Alves dos Remédios
Autor Remédios, Jaime Augusto Alves dos Publicação Lisboa : [s.n.], 2007 Descrição 1 disco ótico (CD-ROM) Tese Tese de Doutoramento em Informática apresentada à Universidade Aberta, sob orientação dos Prof. Alexandre Cerveira e Nuno Cavalheiro MarquesTrata-se da versão digital da tese com a cota: L.S. 45123 TD Nome comum TDINFO
Informática
Linguagem de computador
Álgebra
Matemática Acesso virtual Acesso no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Documento eletrónico | UAb-Lisboa | L.C. 510 | Não requisitável | LC000510 |
Requisitos do sistema: Acrobat Reader
Não há comentários disponíveis sobre este título.