Mostrando 1 - 13 resultados de 13 para a busca 'pet/math~', tempo de busca: 6,73s

1

Assuntos: ...Programa de Educação Tutorial da Licenciatura em Matemática PETMAT/UFG...

Desvendando os sentidos atribuídos por egressos do PETMAT/UFG à atividade pedagógica do professor de matemática

Publicado em 2017
Dissertação

2

... com o mesmo feito em outros assistentes — Agda, Isabelle, Lean, Metamath. Como subproduto deste experimento...

[en] A LABELLED NATURAL DEDUCTION LOGICAL FRAMEWORK

Publicado em 2023
Tese