Buscas alternativas:
pet/math » pest/math (Expandir a busca), pet/path (Expandir a busca), pet/mato (Expandir a busca), pet/mata (Expandir a busca)
pet/math » pest/math (Expandir a busca), pet/path (Expandir a busca), pet/mato (Expandir a busca), pet/mata (Expandir a busca)
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
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
Tese