Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Autor Araújo, João
Classificar por:
Título
Data do documento
Data de envio
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 11 de 11
A informática na educação
Araújo, João
Peixoto, Rui José Viegas
26-Jan-2009
★
★
★
★
★
(0)
Aprendizagens essenciais, metas curriculares e problemas de inversão em matemática A
Araújo, João
Reis, Carlos José Cardoso dos
10-Nov-2019
★
★
★
★
★
(0)
Computing the intersection of two quadrics through projection and lifting
Gonzalez-Vega, Laureano; Araújo, João
Trocado, Alexandre Emanuel Batista da Silva
5-Ago-2020
★
★
★
★
★
(0)
Conjugation in abstract semigroups
Araújo, João; Kinyon, Michael K.
Borralho, Maria de Fátima Lopes
4-Ago-2020
★
★
★
★
★
(0)
Finite bases for semigroup varieties
Araújo, João; Lee, Edmond W. H.
Pereira, Manuel Jorge Raminhos
19-Jan-2021
★
★
★
★
★
(0)
Francy an interactive discrete mathematics framework for GAP
Araújo, João; Mitchell, James D.; Pfeiffer, Markus
Martins, Manuel Carlos Machado
30-Out-2019
★
★
★
★
★
(0)
Mini-testes : uma possível estratégia para o sucesso na matemática
Araújo, João
Fernandes, Susana
26-Jan-2009
★
★
★
★
★
(0)
Ordens parciais em semigrupos
Araújo, João
Matavele, Carlos Casimiro
17-Mai-2018
★
★
★
★
★
(0)
Programação orientada a objectos na determinação das bases dum sistema de fecho
Araújo, João
Vigário, Edgar
6-Abr-2011
★
★
★
★
★
(0)
ProverX: rewriting and extending prover9
Araújo, João; Veroff, Robert
Robert, Ivo
5-Ago-2020
★
★
★
★
★
(0)
Tradução automática das demonstrações do Prover9
Araújo, João
Duarte, José Manuel da Costa
18-Set-2012
★
★
★
★
★
(0)