Percorrer por assunto Calculational method
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2011 | Logic training through algorithmic problem solving | Ferreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | On difunctions | Backhouse, Roland; Oliveira, José Nuno Fonseca | Artigo | Acesso restrito UMinho |
2011 | On Euclid's algorithm and elementary number theory | Ferreira, João Fernando; Backhouse, Roland | Artigo | Acesso aberto |
2014 | Structure editing of handwritten mathematics: improving the computer support for the calculational method | Mendes, Alexandra; Backhouse, Roland; Ferreira, João Fernando | Artigo em ata de conferência | Acesso aberto |