Proof Mining: análise quantitativa de demonstrações matemáticas

Não existem arquivos associados a este item.
Título: 
Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
21-Nov-2023
21-Nov-2023
10-Out-2023
21-Nov-2023
Palavras-chave: 





Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)