Proof Mining : análise quantitativa de demonstrações matemáticas / António Miguel Dias Fino
Autor Fino, António Miguel Dias Publicação [S.l.] : [s.n.], 2023 Descrição PDF Tese Tese de MEMC apresentada à Universidade Aberta, sob orientação dos Profs. Gilda Maria Saraiva Dias Ferreira e Pedro Miguel dos Santos Pinto Nome comum TMEMCTeoremas
Análise quantitativa
Proof mining
Matemática Acesso virtual Referência no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Documento eletrónico | UAb-Lisboa | Digital 44219 | Não requisitável |
Clicar numa imagem para a ver no visualizador de imagens
Não há comentários disponíveis sobre este título.